Deciding the Twins Property for Weighted Tree Automata over Extremal Semifields.

Matthias Büchse Anja Fischer

Published in: ATANLP@EACL (2012)

Keyphrases

tree automata
regular expressions
finite state
finite automata
graph theory
syntactic pattern recognition
tree languages
databases
finite automaton
database
query processing
pattern matching
data complexity