Frázová gramatika: Rozdiel medzi revíziami

Smazaný obsah Přidaný obsah
Bez shrnutí editace
Ondrejsv (diskusia | príspevky)
d preklepy
Riadok 6:
 
Frázová gramatika <math>G</math> je usporiadaná štvorica <math>G=(N,T,P,\sigma)</math>, kde
* <math>N</math> je [[abeceda]] '''neterminálychneterminálnych symbolov''' (neterminálov),
* <math>T</math> je abeceda '''terminálychterminálnych symbolov''' (terminálov), pričom <math>N\cap T = \emptyset</math>,
* <math>P\subseteq_{kon} (N\cup T)^*N(N\cup T)^* \times (N\cup T)^*</math> je množina '''prepisovacích pravidiel''' (konečná!),
* <math>\sigma \in N</math> je '''počiatočný neterminál'''.