A Generic Framework for Checking Semantic Equivalences between Pushdown Automata and Finite-State Automata.

Antonín Kucera Richard Mayr

Published in: IFIP TCS (2004)

Keyphrases

finite state automata
finite state machines
probabilistic automata
model checking
hybrid automata
natural language
metadata
relational algebra