A Myhill-Nerode theorem for automata with advice
Alex KruckmanSasha RubinJohn SheridanBen ZaxPublished in: GandALF (2012)
Keyphrases
- cellular automata
- finite automata
- finite state
- probabilistic automata
- data sets
- regular expressions
- finite state machines
- von neumann
- formal language theory
- interactive theorem proving
- lattice gas
- intuitionistic logic
- finite state automata
- tree automata
- pattern matching
- digital libraries
- reinforcement learning
- knowledge base