- 【Updated on May 12, 2025】 Integration of CiNii Dissertations and CiNii Books into CiNii Research
- Trial version of CiNii Research Automatic Translation feature is available on CiNii Labs
- Suspension and deletion of data provided by Nikkei BP
- Regarding the recording of “Research Data” and “Evidence Data”
One-way simple multihead finite automata
Search this article
Description
AbstractThe first half of this paper investigates the accepting powers of various types of simple one-way multihead finite automata. It is shown that(1)for each k⩾1, simple one-way (k+1)-head finite automata are more powerful than simple one-way k-head finite automata.(2)for each k⩾2, nondeterministic simple one-way k-head finite automata are more powerful than deterministic ones, and(3)for each k⩾2, sensing simple one-way k-head finite automata are more powerful than non-sensing ones.In the latter half, closure properties for various types of simple one-way multihead finite automata are investigated.Finally, we demonstrate that languages accepted by nondeterministic sensing simple one-way 2-head finite automata are related to some open problem concerning deterministic and nondeterministic tape-bounded Turing computations.
Journal
-
- Theoret. Comput. Sci.
-
Theoret. Comput. Sci. 9 311-328, 1979
Elsevier BV
- Tweet
Details 詳細情報について
-
- CRID
- 1570291226247538176
-
- NII Article ID
- 30006150702
-
- ISSN
- 03043975
-
- Data Source
-
- CiNii Articles
- OpenAIRE