Wat ass den Ënnerscheed tëscht enger klenger Staatsmaschinn an enger Pushdown-Maschinn?


beäntweren 1:

Den Ënnerscheed hänkt vun der Ëmsetzung of. Wéi de Jim virdru scho gesot huet, sinn pushdownautomaten typesch e Stack Staaten, mat all Staat am Stack nëmmen zwou Iwwergäng (een op all Säit), während e Staatsmaschinn eng Grafik mat Iwwergäng iwwer Staate lafen. Kontextempfindlech künstlech Assistenten (als Beispill) kéinten als Push-Down Maschinnen ëmgesat ginn, wärend d'Applikatiounsschicht vun all User-interaktiven Apparat als eendeiteg Staatsmaschinn kéint ëmgesat ginn.

Et kéint een denken datt d'Ëmsetze vun hierarchesche Staatsmaschinne Pushdown-Automaten a Kombinatioun mat endleche Staatsmaschinne op all Niveau sinn.


beäntweren 2:

Den Iwwergank vun de Staatsmaschinnen ass eng Funktioun vu Saz zu Saz. Dofir hänkt déi zukünfteg Konfiguratioun (oder Staat) vun der Maschinn, wéi Dir se aginn, nëmmen ofhängeg vum Staat mat deem Dir ufänkt. A pda ännert d'Transitiounsfunktioun vun engem iewescht Symbol vum Stack an enger Positioun op eng aner Positioun. Also ass d'Zukunft vun de Maschinnen déi Input kréien hänkt vum Staat an den Inhalt vum Stack of (deen nächste Staat hänkt vun der Spëtzt vum Stack of, deen nächste kann hänkt vum zweeten Element of, vun deem nächste vum nächste Element, eventuell vun engem Drëttel) etc.). An. D'Gréisst vum Stack ass onlimitéiert. Sou kann d'Konditioun oder d'Konfiguratioun onlimitéiert sinn.


beäntweren 3:

Den Iwwergank vun de Staatsmaschinnen ass eng Funktioun vu Saz zu Saz. Dofir hänkt déi zukünfteg Konfiguratioun (oder Staat) vun der Maschinn, wéi Dir se aginn, nëmmen ofhängeg vum Staat mat deem Dir ufänkt. A pda ännert d'Transitiounsfunktioun vun engem iewescht Symbol vum Stack an enger Positioun op eng aner Positioun. Also ass d'Zukunft vun de Maschinnen déi Input kréien hänkt vum Staat an den Inhalt vum Stack of (deen nächste Staat hänkt vun der Spëtzt vum Stack of, deen nächste kann hänkt vum zweeten Element of, vun deem nächste vum nächste Element, eventuell vun engem Drëttel) etc.). An. D'Gréisst vum Stack ass onlimitéiert. Sou kann d'Konditioun oder d'Konfiguratioun onlimitéiert sinn.