Zásobníkový automat - koncový stav

Kombinovat se sice nesmi (pokud se nesmi), nicmene mi nic nebrani v tom, abych pridal pravidlo: Pokud jsem v koncovem stavu, vyprazdni zasobnik. Pokud mam prazdny zasobnik, prejdi do koncoveho stavu. Neboli je jedno jestli prijimam koncovym stavem nebo prazdnym zasobnikem.

Vážně? Takový přechod, který kontroluje jestli je prázdný zásobník bych chtěl vidět. Ale ano, samozřejmě to je vzájemně převoditelné.

Primo z prednasek z AAG: δ(q, ε, SZ) = {(p, ε)} Syntaxe mi uz trosku vypadava, ale udelat prechod jsem ve stavu Q, na vstupu mam EOF, na zasobniku # (pocatecni symbol) -> prejdi do koncoveho stavu P by nemelo byt nemozne, ne?

Pokud prázdným zásobníkem myslíte ve skutečnosti to, že je na vrcholu symbol, který jste tam dal na začátku a od té doby se s ním určitě nemanipulovalo, tak to samozřejmě ano. Jen pozor na to, že zkontrolovat, že je doopravdy úplně prázdný, přímo nejde, a stejně tak ani to, že je celý vstup už přečtený (žádný EOF tu neexistuje, ale taky se to dá vyřešit jinak).

Tim EOF jsem myslel nejakou zarazku, kterou si pridam na konec slova. Nemuzu preci rict, ze jsem prijal dane slovo, dokud nezkontroluji, ze jsem precetl cely vstup.