A generic framework for checking semantic equivalences between pushdown automata and finite-state automata

Logo poskytovatele

Varování

Publikace nespadá pod Ekonomicko-správní fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Autoři

KUČERA Antonín MAYR Richard

Rok publikování 2018
Druh Článek v odborném periodiku
Časopis / Zdroj Journal of Computer and System Sciences
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
www http://dx.doi.org/10.1016/j.jcss.2017.09.004
Doi http://dx.doi.org/10.1016/j.jcss.2017.09.004
Klíčová slova pushdown automata; equivalence-checking
Popis Proces g je "plně ekvivalentní" procesu f pokud jsou iniciální stavy g a f ekvivalentní a každý stav dosažitelný z g je ekvivalentní nějakému stavu f. V článku je podána obecná metoda pro rozhodování plné ekvivalence mezi procesy zásobníkových automatů a konečně-stavovými procesy.
Související projekty:

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