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

Pridaných 34 bajtov ,  pred 11 rokmi
chýba zhrnutie úprav
d (robot Pridal: nl:Stapelautomaat)
[[Image:Zasobnikovy automat.png|300pxthumb|right|Schéma zásobníkového automatu|]]
 
'''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
 
{{Formálne jazyky a gramatiky}}
 
[[Kategória:Formálne jazyky a automaty]]
113 587

úprav