Formální gramatika: Porovnání verzí
Smazaný obsah Přidaný obsah
Tučně celá slova; tečka za větou; minus nadbytečný řádek |
|||
Řádek 16:
* <math>N</math> je konečná [[množina]] ''neterminálních symbolů'' (neterminálů).
* <math>\Sigma</math> je konečná množina ''terminálních symbolů'' tak, že žádný symbol nepatří do <math>N</math> a <math>\Sigma</math> zároveň. (Obvykle se značí řeckým písmenkem sigma.)
* <math>P</math> je konečná množina ''odvozovacích pravidel''. Každé pravidlo je tvaru
:: <math>(\Sigma \cup N)^{*} N (\Sigma \cup N)^{*} \longrightarrow (\Sigma \cup N)^{*} </math>
| |||