Sign in

Weighted Tree Automata with Constraints.

Andreas MalettiAndreea-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