線形分離オートマトンの最小化に関する理論

• Item type: SIG Technical Reports(1)
• 公開日: 2009-12-10
• タイトル: 線形分離オートマトンの最小化に関する理論
• タイトル / 言語: en
• タイトル: Theory of Minimizing Linear Separation Automata
• 言語: eng
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 電気通信大学大学院電気通信学研究科情報工学専攻
• 著者所属: エヌ・ティ・ティアイティ株式会社
• 著者所属: 電気通信大学大学院電気通信学研究科情報工学専攻
• 著者所属(英): en
• 著者所属(英): Department of Computer Science, Graduate School of Electro-Communications, The University of Electro-Communications
• 著者所属(英): en
• 著者所属(英): NTT-IT Corporation
• 著者所属(英): en
• 著者所属(英): Department of Computer Science, Graduate School of Electro-Communications, The University of Electro-Communications
• 著者名: 沼井, 裕二; 宇田川, 祥彰; 小林, 聡
• 著者名(英): Yuji, Numai; Yoshiaki, Udagawa; Satoshi, Kobayashi
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 本論文では，有限オートマトンを拡張した計算モデルである線形分離オートマトン （LSA） の理論的な考察を行う．LSA は実ベクトル系列を受理する能力を持ち，各状態には線形関数と閾値系列が付随する．この二つによって，各時点でのある状態からの遷移先状態が決定する．LSA の状態遷移は，パーセプトロンの振舞いと対応する．LSA に関する Myhill-Nerode の定理を用いて最小化に関する理論を構築することが，本論文の主目的である．同定理の証明は，LSA の拡張元である有限オートマトンに関する定理の場合と同じように行うことができる．ここから，LSA への拡張は理論的に自然なものであることがわかる．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: In this paper, we theoretically analyze a certain extension of a finite automaton, called a linear separation automaton (LSA). An LSA receives a sequence of real vectors, and has a linear function and a threshold sequence at every state, which determine the transition from some state to another at each step. Transitions of LSAs are just corresponding to the behavior of perceptrons. We develop the theory of minimizing LSAs by using Myhill-Nerode theorem for LSAs. Its proof is performed as in the proof of the theorem for finite automata. Therefore we find that the extension to an LSA from the original finite automaton is theoretically natural.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10505667
• 書誌情報: 研究報告数理モデル化と問題解決（MPS）; 巻 2009-MPS-76, 号 1, p. 1-8, 発行日 2009-12-10
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会