| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2019-12-13 16:25 書き換え制限付き決定性オートマトンと繰り返し補題 ○吉田光星・山上智幸（福井大）  COMP2019-41 |
|
| 抄録 | （和） | 本論文では,書き換え制限付き決定性オートマトンで認識可能な言語に対する繰り返し補題(pumping lemma)を提案し,それを用いて書き換え回数の異なる書き換え制限付き決定性オートマトンの認識可能な言語クラスに違いがあることを示す. ここで, 書き換え制限付き決定性オートマトンは, テープセルの内容の変更可能回数が制限されたチューリングマシンのことであり, 繰り返し補題は言語クラスが持つべき性質の1つを表す命題である. テープセルの内容を$k$回書き換え可能な制限付き決定性オートマトンで認識可能な言語のクラスを$k$mbox{-DCFL}と表し,任意の$kgeq2$に対して, $k$mbox{-DCFL} が$(k+1)$mbox{-}DCFLに真に含まれることを繰り返し補題を用いて証明する. |
| （英） | This pape, introduced a pumping lemma for languages recognizable by limited deterministic automata. We use this lemma to prove that there is a difference in the families of recognizable languages by those automata. A limited deterministic automaton is a Turing machine in which the number of times the contents of a cell can be modified is upper-bounded, and a pumping lemma is a statement representing a specific property of languages in a language family. Given an index $kgeq1$, $k$-DCFL denotes the family of all languages recognized by limited deterministic automata that can modify the content of each tape cell at most $k$ times. We prove that $k$-DCFL is properly contained within $ (k + 1) $mbox{-DCFL} using our pumping lemma. | |
| キーワード | （和） | 書き換え制限付き決定性オートマトン / 繰り返し補題 / / / / / / |
| （英） | Limited Deterministic Automata / Pumping Lemma / / / / / / | |
| 文献情報 | 信学技報, vol. 119, no. 340, COMP2019-41, pp. 85-92, 2019年12月. | |
| 資料番号 | COMP2019-41 | |
| 発行日 | 2019-12-06 (COMP) | |
| ISSN | Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | COMP2019-41 |
|
| 研究会情報 | |
| 研究会 | COMP |
| 開催期間 | 2019-12-13 - 2019-12-13 |
| 開催地（和） | 群馬大学 伊香保研修所 |
| 開催地（英） | Ikaho Seminar House, Gunma University |
| テーマ（和） | |
| テーマ（英） | |
| 講演論文情報の詳細 | |
| 申込み研究会 | COMP |
| 会議コード | 2019-12-COMP |
| 本文の言語 | 日本語 |
| タイトル（和） | 書き換え制限付き決定性オートマトンと繰り返し補題 |
| サブタイトル（和） | |
| タイトル（英） | Limited Deterministic Automata and Pumping Lemma |
| サブタイトル（英） | |
| キーワード(1)（和/英） | 書き換え制限付き決定性オートマトン / Limited Deterministic Automata |
| キーワード(2)（和/英） | 繰り返し補題 / Pumping Lemma |
| キーワード(3)（和/英） | / |
| キーワード(4)（和/英） | / |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 吉田 光星 / Kosei Yoshida / ヨシダ コウセイ |
| 第1著者 所属（和/英） | 福井大学 (略称： 福井大) University of Fukui (略称： U of Fukui) |
| 第2著者 氏名（和/英/ヨミ） | 山上 智幸 / Tomoyuki Yamakami / ヤマカミ トモユキ |
| 第2著者 所属（和/英） | 福井大学 (略称： 福井大) University of Fukui (略称： U of Fukui) |
| 講演者 | 第1著者 |
| 発表日時 | 2019-12-13 16:25:00 |
| 発表時間 | 25分 |
| 申込先研究会 | COMP |
| 資料番号 | COMP2019-41 |
| 巻番号（vol） | vol.119 |
| 号番号（no） | no.340 |
| ページ範囲 | pp.85-92 |
| ページ数 | 8 |
| 発行日 | 2019-12-06 (COMP) |
[研究会発表申込システムのトップページに戻る]