Zásobníkový automat: Rozdiel medzi revíziami

Pridaných 138 bajtov ,  pred 8 rokmi
d
Verzia používateľa 62.197.226.119 (diskusia) bola vrátená, bola obnovená verzia od Addbot
No edit summary
d (Verzia používateľa 62.197.226.119 (diskusia) bola vrátená, bola obnovená verzia od Addbot)
 
Nedeterministický ZA možno determinizovať, neplatí však, že ku každému nedeterministickému ZA existuje deterministický ZA. Platí, že ku každej bezkontextovej gramatike G =(N, T, P, S) existuje nedeterministický ZA M taký, že L(M)=G(M).
 
K obrázku:
*'''VP''' - vstupná páska
*'''KRJ''' - Konečnostavová riadiaca jednotka
*'''H''' - Čítacia hlava
*'''Z''' - Zásobník
 
{{Formálne jazyky a gramatiky}}