WEKO3
アイテム
Two-Dimensional Input Tapes with One-Counter Languages Not Accepted by Deterministic Rebound Automata
http://hdl.handle.net/10458/345
http://hdl.handle.net/10458/34543d025fa-2169-4266-8e9d-9e445ff9630b
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]() |
|
Item type | 紀要論文 / Departmental Bulletin Paper(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2007-06-28 | |||||
タイトル | ||||||
タイトル | Two-Dimensional Input Tapes with One-Counter Languages Not Accepted by Deterministic Rebound Automata | |||||
言語 | en | |||||
言語 | ||||||
言語 | eng | |||||
キーワード | ||||||
言語 | en | |||||
主題Scheme | Other | |||||
主題 | nondeterminism, one counter automaton, rebound automaton, two-dimensional tape, chunk | |||||
資源タイプ | ||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
資源タイプ | departmental bulletin paper | |||||
その他(別言語等)のタイトル | ||||||
その他のタイトル | Two-Dimensional Input Tapes with One-Counter Languages Not Accepted by Deterministic Rebound Automata | |||||
言語 | en | |||||
著者 |
坂本, 眞人
× 坂本, 眞人× Kawano, Hiroaki× Saito, Makoto |
|||||
抄録 | ||||||
内容記述タイプ | Abstract | |||||
内容記述 | Abstract M.Blum and C.Hewitt first proposed two-dimensional automata as a computational model of two- dimensional pattern processing, and investigated their pattern recognition abilities[1]. Since then, many researchers have been investigating a lot of properties about automata on a two-dimensional tape. However, there are a lot more open problems. For instance, it was unknown whether there exists a language accepted by a two-way nondeterministic one counter automaton, but not accepted by any deterministic rebound au- tomaton. In this paper, we try to solve this problem, and show that there exists such a language. |
|||||
言語 | en | |||||
書誌情報 |
ja : 宮崎大学工学部紀要 en : Memoirs of Faculty of Engineering, University of Miyazaki 巻 33, p. 339-342, 発行日 2004-10 |
|||||
出版者 | ||||||
出版者 | 宮崎大学工学部 | |||||
言語 | ja | |||||
出版者 | ||||||
出版者 | Faculty of Engineering, University of Miyazaki | |||||
言語 | en | |||||
ISSN | ||||||
収録物識別子タイプ | ISSN | |||||
収録物識別子 | 05404924 | |||||
書誌レコードID | ||||||
収録物識別子タイプ | NCID | |||||
収録物識別子 | AA00732558 | |||||
著者版フラグ | ||||||
出版タイプ | VoR | |||||
出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 |