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
From MaRDI portal
Set OpenAlex properties. |
m rollbackEdits.php mass rollback Tag: Rollback |
||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1016/0304-3975(89)90154-0 / rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2050997354 / rank | |||
Revision as of 09:48, 21 March 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Deterministic two-dimensional on-line tessellation acceptors are equivalent to two-way two-dimensional alternating finite automata through 180\(\circ\)-rotation |
scientific article |
Statements
Deterministic two-dimensional on-line tessellation acceptors are equivalent to two-way two-dimensional alternating finite automata through 180\(\circ\)-rotation (English)
0 references
1989
0 references
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.
0 references
tessellation acceptors
0 references
finite automata
0 references
equivalence
0 references
