| 講演名 | 1995/11/17 順序機械の学習 : Angluin のFA学習と最小部分実現 猪飼 武夫, 新谷 敬之, 福永 邦雄, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 本報告では、まず決定性有限オートトン(DFA)の最小部分実現をえるために、必要最小限の行と列よりなる簡約部分ハンケル行列(RSH行列)を定義する。次にRSH行列を所属性質問と等価性質間により校正するDFA学習法を提案し、AngluinのDFA学習法との関係を明らかにする。さらにMoore型およびMealy型順序機械の状態空間モデルを構成し、可到達および可観測行列を定義して、ハンケル行列からの最小実現アルゴリズムを導出している。 |
| 抄録(英) | In this paper, we first define the reduced sub-Hankel matrix (RSH matrix) which has necessary and minimal number of rows and columns in order to obtain the minimum realization of a deter-ministic finite automaton (DFA). Then we propose a DFA leaning method which constructs a RSH matrix by membership queries and equivalence queries, and show relations between Angluin's DFA learning algorithm and the learning method proposed. Futhermore , we construct state space models of Moore and Mealy machines. After defining reachability and observability matrices, we then derive minimal realization algorithm of these machines from Hankel matrices. |
| キーワード(和) | MooreおよびMearly機械 / 状態空間モデル / 最小実現 / ハンケル行列 / AngluinのFA学習 / 最小部分実現 |
| キーワード(英) | Moore and Mealy machines / state space model / minimal realization / Hankel matrix / Angluin's FA Learning / minimum partial realization |
| 資料番号 | COMP95-63 |
| 発行日 |
| 研究会情報 | |
| 研究会 | COMP |
|---|---|
| 開催期間 | 1995/11/17(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Theoretical Foundations of Computing (COMP) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 順序機械の学習 : Angluin のFA学習と最小部分実現 |
| サブタイトル（和） | |
| タイトル（英） | Learning Moore and Mealy Machines : Angluin's FA Learning and Minimum Partial Realization |
| サブタイトル（和） | |
| キーワード(1)（和/英） | MooreおよびMearly機械 / Moore and Mealy machines |
| キーワード(2)（和/英） | 状態空間モデル / state space model |
| キーワード(3)（和/英） | 最小実現 / minimal realization |
| キーワード(4)（和/英） | ハンケル行列 / Hankel matrix |
| キーワード(5)（和/英） | AngluinのFA学習 / Angluin's FA Learning |
| キーワード(6)（和/英） | 最小部分実現 / minimum partial realization |
| 第 1 著者 氏名（和/英） | 猪飼 武夫 / Takeo IKAI |
| 第 1 著者 所属（和/英） | 大阪府立大学工学部 Faculty of Engineering, University of Osaka Prefecture |
| 第 2 著者 氏名（和/英） | 新谷 敬之 / Takayuki SHINTANI |
| 第 2 著者 所属（和/英） | 大阪府立大学工学部 Faculty of Engineering, University of Osaka Prefecture |
| 第 3 著者 氏名（和/英） | 福永 邦雄 / Kunio FUKUNAGA |
| 第 3 著者 所属（和/英） | 大阪府立大学工学部 Faculty of Engineering, University of Osaka Prefecture |
| 発表年月日 | 1995/11/17 |
| 資料番号 | COMP95-63 |
| 巻番号（vol） | vol.95 |
| 号番号（no） | 374 |
| ページ範囲 | pp.- |
| ページ数 | 10 |
| 発行日 | |