Cyclic automata


A cyclic graph language is accepted by a Cayley automaton [2] with pebbles if and only if their orders can be recognized in logspace by an ordinary Turing machine. There is an infinite hierarchy of cyclic graph languages and although most decision problems are decidable for 1-pebble cyclic automata, they are recursively unsolvable for 2-pebble automata. © 1987.

Publication Title

Theoretical Computer Science