| Etsuji TOMITA
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
A Direct Branching Algorithm for Checking Equivalence of Finite-Turn DPDA's Etsuji TOMITA Masahiro IGARASHI | Publication: IEICE TRANSACTIONS (1976-1990)
Publication Date: 1986/03/25
Vol. E69-E
No. 3
pp. 193-195
Type of Manuscript:
LETTER Category: Automata and Languages Keyword:
| | Summary | Full Text:PDF | |
|
|