Experiments with Finite Tree Automata in Coq.

Xavier Rival Jean Goubault-Larrecq

Published in: TPHOLs (2001)

Keyphrases

tree automata
finite automata
closure properties
regular expressions
tree languages
finite state
grammatical inference
formal methods
finite automaton
syntactic pattern recognition
expert systems
theorem prover
context free grammars
learning algorithm
pattern matching
data model
reinforcement learning
high level