Sign in
Determinism vs. Nondeterminism for Two-Way Automata - Representing the Meaning of States by Logical Formulæ.
Juraj Hromkovic
Rastislav Královic
Richard Královic
Richard Stefanec
Published in:
Developments in Language Theory (2012)
Keyphrases
</>
finite state machines
finite automaton
situation calculus
finite automata
cellular automata
initial state
natural language
logical structure
lattice gas
state variables
finite state
planning domains
state transitions
external world
probabilistic automata
finite state automaton