Login / Signup
State complexity of halting, returning and reversible graph-walking automata.
Olga Martynova
Alexander Okhotin
Published in:
CoRR (2020)
Keyphrases
</>
cellular automata
finite state machines
structured data
graph representation
graph theory
learning algorithm
finite state
search algorithm
state space
markov chain
model checking
graph matching
bipartite graph
directed acyclic graph
undirected graph