Presburger Büchi Tree Automata with Applications to Logics with Expressive Counting.

Bartosz Bednarczyk Oskar Fiuk

Published in: WoLLIC (2022)

Keyphrases

tree automata
regular expressions
finite automata
finite state
expressive power
tree languages
finite automaton
modal logic
syntactic pattern recognition
context free grammars
query language
positive and negative
pattern matching
context free
markov decision processes
data management
information extraction