Tree Automata for Non-linear Arithmetic.

Naoki Kobayashi Hitoshi Ohsaki

Published in: RTA (2008)

Keyphrases

tree automata
regular expressions
finite automata
finite state
tree languages
finite automaton
context free grammars
pattern matching
syntactic pattern recognition
markov chain
databases
metadata
dynamic programming
information extraction