Login / Signup

Sequentiality, Monadic Second-Order Logic and Tree Automata.

Hubert Comon
Published in: Inf. Comput. (2000)
Keyphrases
  • tree automata
  • monadic second order logic
  • regular expressions
  • finite automata
  • finite state
  • tree languages
  • expressive power
  • finite automaton
  • context free grammars
  • building blocks
  • keywords
  • pattern matching