Lattice Automata: A Representation for Languages on Infinite Alphabets, and Some Applications to Verification.

Tristan Le Gall Bertrand Jeannet

Published in: SAS (2007)

Keyphrases

regular languages
databases
cellular automata
expressive power
finite state automata
image representation
regular expressions
finite state
learning algorithm
pattern matching
grammatical inference
finite automata