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

Pridaných 428 bajtov ,  pred 16 rokmi
chýba zhrnutie úprav
[[Obrázok:zasobnikovy_automat.gif|right|Schéma zásobníkového automatu]]
'''Zásobníkový automat''' je názov pre triedu abstraktných matematických strojov.
 
 
ZA disponuje vstupnou páskou, na ktorej sú symboly zo zásobníkovej abecedy, tie sú čítané zľava doprava čítacou hlavou. Tá sa môže posúvať vždy iba doprava o jeden symbol, čítanie symbolov sa však môže zastaviť. Symboly na vstupnej páske nemôže ZA meniť. Zásobník je potenciálne nekonečná pamäť s prístupom LIFO ( Last In First Out ). ZA je v určitom stave, ktorý je popísaný neprečítanou časťou pásky, stavom, v ktorom sa nachádza riadiaca jednotka ZA a obsahom zásobníka. ZA je matematickým modelom vykonávajúcim syntaktickú analýzu metódou zhora nadol.
 
ZA môžu byť v zásade dvojakého typu:
*'''Deterministické'''
*'''Nedeterministické'''
 
Vo všeobecnosti je ZA nedeterministický, pri prechode ZA z jedného stavu do iného nemusí byť jasné:
*do akého stavu má ZA prejsť a akým reťazcom má byť prepísaný symbol z vrcholu zásobníka
*či čítať ďalší vstup z pásky alebo nie
 
Medeterministický ZA možno determinizovať
 
K obrázku:
281

úprav