Converting Self-verifying Automata into Deterministic Automata.

Galina Jirásková Giovanni Pighizzini

Published in: LATA (2009)

Keyphrases

deterministic automata
finite automata
regular expressions
grammatical inference
model checking
decision trees
database systems
query language
linear temporal logic