9 vztahy: Backusova–Naurova forma, Chomského normální forma, Formální gramatika, Greibachové normální forma, Kontextová gramatika, Kontextový jazyk, Monotonní gramatika, Prázdný řetězec, Terminální a neterminální symbol.
Backusova–Naurova forma
Backusova–Naurova forma (BNF) je způsob zápisu bezkontextových gramatik používaných pro popis formálních jazyků.
Nový!!: Kurodova normální forma a Backusova–Naurova forma · Vidět víc »
Chomského normální forma
Chomského normální forma je tvar formální gramatiky ve které jsou všechna odvozovací pravidla tvaru: kde A, B a C jsou neterminály, α je terminál, S je startovní neterminál a ε je prázdný řetězec, přičemž B ani C nemohou být startovacím neterminálem.
Nový!!: Kurodova normální forma a Chomského normální forma · Vidět víc »
Formální gramatika
Formální gramatika v informatice označuje strukturu, která popisuje formální jazyk.
Nový!!: Kurodova normální forma a Formální gramatika · Vidět víc »
Greibachové normální forma
Greibachové normální forma (GNF) je tvar formální gramatiky, ve které mají všechny odvozující pravidla tvar: nebo kde A je neterminál, α je terminál, S je výchozí neterminální symbol, X je (případně prázdná) posloupnost neterminálních symbolů (ve které se nevyskytuje S, pokud gramatika obsahuje pravidlo S \to \epsilon) a ɛ je prázdný řetězec.
Nový!!: Kurodova normální forma a Greibachové normální forma · Vidět víc »
Kontextová gramatika
Kontextová gramatika je formální gramatika G.
Nový!!: Kurodova normální forma a Kontextová gramatika · Vidět víc »
Kontextový jazyk
Kontextový jazyk je formální jazyk, který je vygenerovatelný nějakou kontextovou gramatikou.
Nový!!: Kurodova normální forma a Kontextový jazyk · Vidět víc »
Monotonní gramatika
V teorii formálních jazyků je gramatika monotonní, pokud všechna její přepisovací pravidla jsou tvaru α → β, kde α a β jsou řetězce neterminálních a terminálních symbolů, v nichž délka řetězce α je menší nebo rovna délce řetězce β, |α| ≤ |β|, tj.
Nový!!: Kurodova normální forma a Monotonní gramatika · Vidět víc »
Prázdný řetězec
Prázdný řetězec je řetězec nulové délky.
Nový!!: Kurodova normální forma a Prázdný řetězec · Vidět víc »
Terminální a neterminální symbol
Terminální a neterminální symboly jsou prvky používané v teorii formální jazyků pro popis jazyka pomocí formální gramatiky.
Nový!!: Kurodova normální forma a Terminální a neterminální symbol · Vidět víc »