Fungsi carian sedang dalam pembinaan.
Fungsi carian sedang dalam pembinaan.

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

Self-Verifying Nondeterministic and Las Vegas Multihead Finite Automata Pengesahan Sendiri Nondeterministic dan Las Vegas Multihead Finite Automata

Katsushi INOUE, Yasunori TANAKA, Akira ITO, Yue WANG

  • pandangan teks lengkap

    0

  • Petikan Ini

Ringkasan:

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 2, deterministik sehala k-kepala (resp., mudah k-head) automata terhingga kurang berkuasa berbanding Las Vegas sehala k-kepala (resp., mudah k-kepala) automata terhingga, (2) terdapat bahasa yang diterima oleh automata terhingga 2-kepala mudah yang mengesahkan kendiri sehala, tetapi tidak diterima oleh mana-mana automata terhingga berbilang kepala mudah deterministik sehala, (3) terdapat bahasa diterima oleh automaton terhingga 2 kepala tidak tentu satu hala (resp., 2 kepala ringkas), tetapi tidak diterima oleh mana-mana automat terhingga tak tentu hala sehala bukan penentu (resp., multihead mudah), (4) untuk setiap satu k 1, Las Vegas dua hala k-kepala (resp., mudah k-kepala) automata terhingga mempunyai kuasa penerimaan yang sama seperti pengesahan kendiri dua hala tidak tentu k-kepala (resp., mudah k-head) automata terhingga, dan (5) automata terhingga mudah dua hala Las Vegas 2-kepala lebih berkuasa daripada automata terhingga mudah 2-kepala deterministik dua hala.

Jawatankuasa
IEICE TRANSACTIONS on Fundamentals Vol.E84-A No.5 pp.1094-1101
Tarikh penerbitan
2001/05/01
Diumumkan
ISSN dalam talian
DOI
Jenis Manuskrip
Special Section PAPER (Special Section on Discrete Mathematics and Its Applications)
kategori

Pengarang

Kata kunci

Contents [show]