ano PDA je zas. automat [Pushdown automaton], ale vseobecne (nie nevyhnutne s 2ma zasobnikmi). Hmm no ono v principe by to mozne teoreticky bolo, ale podla definicie neviem spravit funciu, ktora by tie acka, co ma nasackovane na zasobniku cez prechodovy funciu pustala a zaroven zvysovala citac, ktory by nakoniec vyplula a akceptovala koncovy stav prazdnym zasobnikom. Takto by to teoreticky fungovalo, otazka je, ci je PDA schopne pricitavat (1+) a nakoniec vyhodit numericky vysledok. Tam s mojimi sucansnymi znalostami nesiaham. Ak uvedies protipriklad a potvrdis, ze je to mozne aj prakticky, budem len rad.

Ono vpodstate PDA sluzi na generovanie bezkontextovych jazykov, takze si schopny na nom vpohode vygenerovat napriklad slova jazyka a^n.b^n, ale nieco ako numericke vypocty zrejme nedokaze realizovat.

www.hackujeme.sk - The Real Hardcore in ICT Security