The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice
The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice
이 논문은 결정론적, 라스베거스, 자체 검증 비결정론적, 비결정론적(단순) 다중 헤드 유한 오토마타의 수용 능력에 대한 비교 연구에 관한 것입니다. 우리는 각각에 대해 (1)을 보여줍니다. k
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
부
Katsushi INOUE, Yasunori TANAKA, Akira ITO, Yue WANG, "Self-Verifying Nondeterministic and Las Vegas Multihead Finite Automata" in IEICE TRANSACTIONS on Fundamentals,
vol. E84-A, no. 5, pp. 1094-1101, May 2001, doi: .
Abstract: This paper is concerned with a comparative study of the accepting powers of deterministic, Las Vegas, self-verifying nondeterminisic, and nondeterministic (simple) multihead finite automata. We show that (1) for each k
URL: https://global.ieice.org/en_transactions/fundamentals/10.1587/e84-a_5_1094/_p
부
@ARTICLE{e84-a_5_1094,
author={Katsushi INOUE, Yasunori TANAKA, Akira ITO, Yue WANG, },
journal={IEICE TRANSACTIONS on Fundamentals},
title={Self-Verifying Nondeterministic and Las Vegas Multihead Finite Automata},
year={2001},
volume={E84-A},
number={5},
pages={1094-1101},
abstract={This paper is concerned with a comparative study of the accepting powers of deterministic, Las Vegas, self-verifying nondeterminisic, and nondeterministic (simple) multihead finite automata. We show that (1) for each k
keywords={},
doi={},
ISSN={},
month={May},}
부
TY - JOUR
TI - Self-Verifying Nondeterministic and Las Vegas Multihead Finite Automata
T2 - IEICE TRANSACTIONS on Fundamentals
SP - 1094
EP - 1101
AU - Katsushi INOUE
AU - Yasunori TANAKA
AU - Akira ITO
AU - Yue WANG
PY - 2001
DO -
JO - IEICE TRANSACTIONS on Fundamentals
SN -
VL - E84-A
IS - 5
JA - IEICE TRANSACTIONS on Fundamentals
Y1 - May 2001
AB - This paper is concerned with a comparative study of the accepting powers of deterministic, Las Vegas, self-verifying nondeterminisic, and nondeterministic (simple) multihead finite automata. We show that (1) for each k
ER -