Weighted Tree Automata with Constraints.

Andreas Maletti Andreea-Teodora Nász

Published in: CoRR (2023)

Keyphrases

tree automata
finite automata
regular expressions
finite state
tree languages
finite automaton
syntactic pattern recognition
databases
context free
dynamic programming
model checking