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

Pridaných 177 bajtov ,  pred 16 rokmi
chýba zhrnutie úprav
ZA M možno definovať ako usporiadanú sedmicu:
 
'''M=(Q,T,G,D,q0,Z0,F)''' kde:
 
kde:
*Q - konečná neprázdna množina stavov
 
*T - konečná neprázdna množina vstupných symbolov - vstupná abeceda
*G'''Q''' - konečná neprázdna množina zásobníkových symbolov - zásobníková abecedastavov
*Q'''T''' - konečná neprázdna množina stavovvstupných symbolov - vstupná abeceda
*D - prechodová funkcia
*T'''G''' - konečná neprázdna množina vstupnýchzásobníkových symbolov - vstupnázásobníková abeceda
*q0 - začiatočný stav, patrí do množiny Q
*'''D''' - prechodová funkcia
*Z0 - symbol na dne zásobníka, patrí G
*'''q0''' - začiatočný stav, patrí do množiny Q
*F - konečná množina koncových ( finálových ) stavov
*'''Z0''' - symbol na dne zásobníka, patrí G
*'''F''' - konečná množina 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.
 
K obrázku:
[[Obrázok:zasobnikovy_automat.gif|right|thumbnail|]]
*'''VP''' - vstupná páska
*'''KRJ''' - Konečnostavová riadiaca jednotka
*'''H''' - Čítacia hlava
*'''Z''' - Zásobník
[[Obrázok:zasobnikovy_automat.gif|right|thumbnail|]]
281

úprav