| 講演名 | 1997/3/17 オートマトンの抽象族の状態モデル表現とエージェントオートマトン 猪飼 武夫, 日恵野 尚, 福永 邦雄, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 本報告では、まずオートマトンの抽象族である入力テープ付領域限定のチューリング機械(TM)の{0,1}上の状態空間モデルを構成し、このモデル上で言語演算の閉包性が表現できることを示す。次に、領域限定TM変換器の抽象族を導入し、TM変換器の入出力テープを外部化し、通信の入出力メッセージとすることによりエージェントのオートマトンモデルを定義する。このε-動作を含む出力記号上の状態モデルを構成し、入出力言語の演算の閉包性についても検討している。 |
| 抄録(英) | In this paper, we present state space models over {0,1} of space bounded Turing machines(TM) with the input tape which are abstract family of automata and show that the closure property of language operation can be represented over these state models. We next introduce a abstract family of space bounded TM transducers and define automaton models for agents by regarding input - output tapes of TM transducer as input - output messages for communications, and then construct their state models over output symbols including the ε-mode and also examine the closure of some operations on their input - output languages. |
| キーワード(和) | オートマトンの抽象族 / 領域限定チューリング機械 / 状態空間モデル / エージェントオートマトン / 言語演算の閉包性 |
| キーワード(英) | Abstract family of automata / Space bounded Turing machines / State space models / Agents automata / Closure property of language operation |
| 資料番号 | COMP96-81 |
| 発行日 |
| 研究会情報 | |
| 研究会 | COMP |
|---|---|
| 開催期間 | 1997/3/17(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Theoretical Foundations of Computing (COMP) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | オートマトンの抽象族の状態モデル表現とエージェントオートマトン |
| サブタイトル（和） | |
| タイトル（英） | State Model Representations of Abstract Family of Automata and Agents Automata |
| サブタイトル（和） | |
| キーワード(1)（和/英） | オートマトンの抽象族 / Abstract family of automata |
| キーワード(2)（和/英） | 領域限定チューリング機械 / Space bounded Turing machines |
| キーワード(3)（和/英） | 状態空間モデル / State space models |
| キーワード(4)（和/英） | エージェントオートマトン / Agents automata |
| キーワード(5)（和/英） | 言語演算の閉包性 / Closure property of language operation |
| 第 1 著者 氏名（和/英） | 猪飼 武夫 / Takeo IKAI |
| 第 1 著者 所属（和/英） | 大阪府立大学工学部 Faculty of Engineering, Osaka Prefecture University |
| 第 2 著者 氏名（和/英） | 日恵野 尚 / Hisashi HIENO |
| 第 2 著者 所属（和/英） | 大阪府立大学工学部 Faculty of Engineering, Osaka Prefecture University |
| 第 3 著者 氏名（和/英） | 福永 邦雄 / Kunio FUKUNAGA |
| 第 3 著者 所属（和/英） | 大阪府立大学工学部 Faculty of Engineering, Osaka Prefecture University |
| 発表年月日 | 1997/3/17 |
| 資料番号 | COMP96-81 |
| 巻番号（vol） | vol.96 |
| 号番号（no） | 585 |
| ページ範囲 | pp.- |
| ページ数 | 10 |
| 発行日 | |