"two-dimensional one-marker automaton" . . . "two-dimensional one-marker automaton" .