A generic framework for checking semantic equivalences between pushdown automata and finite-state automata
| Autoři | |
|---|---|
| Rok publikování | 2018 |
| Druh | Článek v odborném periodiku |
| Časopis / Zdroj | Journal of Computer and System Sciences |
| Fakulta / Pracoviště MU | |
| 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: |