Safety Verification for Two-Way Finite Automata with Monotonic Counters.

Oscar H. Ibarra Zhe Dang Zhi-Wei Sun

Published in: Developments in Language Theory (2002)

Keyphrases

finite automata
regular expressions
probabilistic automata
deterministic automata
grammatical inference
safety analysis
model checking
tree automata
finite automaton
hidden markov models
natural language processing
regular languages
database
data mining
formal methods