Automata and Program Analysis.

Thomas Colcombet Laure Daviaud Florian Zuleger

Published in: FCT (2017)

Keyphrases

finite automata
cellular automata
probabilistic automata
finite state machines
finite state
tree automata
regular expressions
databases
data mining
knowledge base
metadata
database systems
probabilistic model
formal languages
lattice gas