Randomization in Automata on Infinite Trees.
Arnaud CarayolAxel HaddadOlivier SerrePublished in: ACM Trans. Comput. Log. (2014)
Keyphrases
- tree automata
- decision trees
- regular languages
- privacy preserving
- regular expressions
- finite automata
- cellular automata
- markov chain
- finite state
- lattice gas
- labeled trees
- finite sets
- genetic algorithm
- finite state machines
- model checking
- tree construction
- markov decision processes
- database
- database systems
- website
- information retrieval
- neural network
- databases
- real time