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
Makalah ini adalah berkenaan dengan kajian perbandingan kuasa menerima deterministik, Las Vegas, automata terhingga berbilang kepala yang mengesahkan sendiri, dan tidak tentu (mudah). Kami menunjukkan bahawa (1) untuk setiap satu 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.
Salinan
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
Salinan
@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},}
Salinan
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 -