An FPRAS and Polynomial-Time Uniform Sampler for Tree Automata.
Marcelo ArenasLuis Alberto CroquevielleRajesh JayaramCristian RiverosPublished in: CoRR (2020)
Keyphrases
- tree automata
- tree languages
- finite automata
- regular expressions
- finite state
- markov chain
- finite automaton
- monadic second order logic
- sequential monte carlo
- grammatical inference
- syntactic pattern recognition
- context free grammars
- context free
- database
- ordered trees
- positive data
- expressive power
- model checking
- query language