著者
猪飼 武夫 益本 昌幸 福永 邦雄
出版者
一般社団法人電子情報通信学会
雑誌
電子情報通信学会技術研究報告. COMP, コンピュテーション
巻号頁・発行日
vol.95, no.374, pp.45-54, 1995-11-17
被引用文献数
5

有限オートマトン(FA)を離散時間動的システムと捉えて状態と記号の{0,1}上の符号化とシステム特性(状態推移関数など)のパラメータ化により、FAの状態空間モデルが得られる。この状態も出る表現に基づく決定性FA(DFA)学習では、従来の記号学習に代りパラメータ同定となる。本報告ではDFAに対し、可到達性および可観測性を定義した上で、DFAの入出力応答(特性応答)から構成するハンケル行列からのDFAの最小表現法を確立し、さらに部分、ハンケル行列からの最小部分実現のアルゴリズムも導出している。