Alternation in Equational Tree Automata Modulo XOR.

Kumar Neeraj Verma

Published in: FSTTCS (2004)

Keyphrases

tree automata
regular expressions
theorem proving
finite automata
finite state

equational theories
tree languages
syntactic pattern recognition
regular tree languages
finite automaton

ordered trees
context free grammars
databases
pattern matching
logic programs

context free
conceptual model
markov chain
machine learning