Computations by fly-automata beyond monadic second-order logic

Bruno Courcelle Irène Durand

Published in: CoRR (2013)

Keyphrases

monadic second order logic
tree automata
regular expressions
finite automata
expressive power
finite state
pattern matching
data complexity
cellular automata
xml schema
databases
partial order
finite state machines
query evaluation
model checking
first order logic
query language
dynamic programming