Height-Deterministic Pushdown Automata

Varování

Publikace nespadá pod Filozofickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Název česky Výškově-deterministické zásobníkové automaty
Autoři

NOWOTKA Dirk SRBA Jiří

Rok publikování 2007
Druh Článek ve sborníku
Konference 32nd International Symposium on Mathematical Foundations of Computer Science (MFCS'07)
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Obor Informatika
Klíčová slova pushdown automata - visibly pushdown laguages - height determinism
Popis Budeme definovat pojem výšky-deterministické zásobníkové automaty, model, kdy pro daný vstupní řetězec komína výšky při jakémkoli (nedeterministické), počítání na vstupu jsou předem stanoveny. Různé podtřídy výšky-deterministické zásobníkové automaty, přísně střežit třídy regulárních jazyků a stále zavřené pod jazyk boolean operace, jsou považovány. Některé z těchto jazykových kurzů byly popsány v literatuře. Zde doporučujeme přirozené a intuitivní model, který znamená také všechny formalismy dosud navržených zaměstnáváním výška-deterministické zásobníkové automaty. Rozhodnutelnost a složitosti otázky jsou rovněž považovány.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.