Computations by fly-automata beyond monadic second-order logic.

Bruno Courcelle Irène Durand

Published in: Theor. Comput. Sci. (2016)

Keyphrases

tree automata
monadic second order logic
regular expressions
finite automata
finite state
first order logic
expressive power
data complexity
pattern matching
cellular automata
domain knowledge
finite state machines
databases
reinforcement learning
integrity constraints
context free grammars