Deterministic two-dimensional on-line tessellation acceptors are equivalent to two-way two-dimensional alternating finite automata through 180\(\circ\)-rotation (Q1822982): Difference between revisions

A two-way two-dimensional alternating finite automaton (TW2-AFA) is a two-dimensional alternating finite automaton [see the second and third author with \textit{H. Taniguchi}; Theor. Comput. Sci. 27, 61-83 (1983; Zbl 0539.68039)] whose input head can move right and down (or may not move). A two-dimensional deterministic on-line tesselation acceptor (2-dota) is a two-dimensional on-line tesselation acceptor [see the second author and \textit{A. Nakamura}; Inform. Sci. 13, 95-121 (1977; Zbl 0371.94067)] whose the cell state function is a singleton. It is proved that 2-dota's are equivalent to TW2-AFA's through 180\(\circ\)-rotation.