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

'''Zásobníkový automat''' je názov pre triedu abstraktných matematických strojov.

 

*'''Z0''' - symbol na dne zásobníka, patrí G

*'''F''' - konečná množina [[koncový stav|koncových (finálových) stavov]]

 

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, derivačný strom sa konštruuje od koreňa k listom a vykonáva sa ľavý rozklad analyzovanej vety.

*'''H''' - Čítacia hlava

*'''Z''' - Zásobník

 

[[Kategória:Formálne jazyky a automaty]]