Finite state machines for strings over infinite alphabets.

Frank Neven Thomas Schwentick Victor Vianu

Published in: ACM Trans. Comput. Log. (2004)

Keyphrases

finite state machines
regular languages
finite state automata
regular expressions
model checking
finite automata
hidden markov models
digital circuits
grammatical inference
query language
pattern matching
decision problems
edit distance
sign language
positive data