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
Cet article concerne une étude comparative des pouvoirs d'acceptation des automates finis multi-têtes déterministes, de Las Vegas, auto-vérifiants non déterministes et non déterministes (simples). Nous montrons que (1) pour chaque 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.
Copier
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
Copier
@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},}
Copier
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 -