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

Logo poskytovatele

Varování

Publikace nespadá pod Fakultu sportovních studií, 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.

Další info