Sign in
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