Nondeterministic Ordered Restarting Automata.
Kent KweeFriedrich OttoPublished in: Int. J. Found. Comput. Sci. (2018)
Keyphrases
- finite automata
- finite state
- finite automaton
- tree automata
- probabilistic automata
- tree languages
- markov chain
- deterministic automata
- regular expressions
- cellular automata
- partially ordered
- model checking
- context free
- real time
- ordered sets
- markov decision processes
- finite state machines
- data structure
- reinforcement learning
- image segmentation
- website
- decision making
- data mining