Login / Signup
A generic framework for checking semantic equivalences between pushdown automata and finite-state automata.
Antonín Kucera
Richard Mayr
Published in:
J. Comput. Syst. Sci. (2018)
Keyphrases
</>
finite state automata
finite state machines
probabilistic automata
model checking
hybrid automata
semantic information
high level
relational algebra
semantic analysis
regular languages
regular expressions
finite automata