@techreport{oai:ipsj.ixsq.nii.ac.jp:00050844,
 author = {鍋島, 英知 and 井上, 克巳 and Hidetomo, Nabeshima and Katsumi, Inoue},
 issue = {36(1996-ICS-104)},
 month = {May},
 note = {本論文では，高級レベルのアクション言語Aと有限オートマトンの関係について議論する．最も重要な関係はこれらの等価性である．すなわち，Aによる任意の領域記述が決定性有限オートマトンに変換でき，逆に任意の有限オートマトンがAによる記述に変換できる．このことから，あるアクション列が計画を遂行できるかどうかの判定が，対応するオートマトンがそのアクション列を受理するかどうかの問題に帰着され，さらにプランニング問題に対する最良の解も正規表現を用いて表現することができる．ここに，状態変化を伴う推論とオートマトン理論が深く関連付けられ，アクション言語に対する今後の見通しがよくなった．, We investigate the relationship between the high-level action language A and finite automata (FA). We show A and FA are equivalent, that is, any domain description in A can be transformed to an FA, and conversely, any FA can be transformed to a description in A. With these results, planning problems can be characterized by regular expressions, and vice versa. Here, reasoning about action meets the automata theory.},
 title = {アクション言語Aを表現するオートマトンモデル},
 year = {1996}
}