Formální gramatika: Porovnání verzí
Smazaný obsah Přidaný obsah
m narovnání přesměrování |
+{{Kotva|Počáteční symbol}} |
||
Řádek 19:
* <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>
*{{Kotva|Počáteční symbol}} <math>S</math> je prvek z <math>N</math> nazývaný ''počáteční symbol''.
== Konvence ==
| |||