さて、正規言語について一気に説明するために非決定性オートマトンというものを導入します。これは複数のオートマトンが同時並行的に動作するオートマトンです。複数のオートマトンを扱うためにクラスを使います。クラスの基本的な使い方については「Kuinでクロージャ」という記事をご覧ください。
さて、ある特定の一文字を認識する有限オートマトンを考えます。これは３つの状態で実現できます。初期状態と受理状態（指定した文字１文字を受け取った状態）とその他の状態の３つです。
automaton.knがオートマトンの本体で、test_onechar.knがテストコードです。automaton.knは回を重ねるごとにコードが追加されていきます。Kuinエディタでtest_onechar.knを実行すると一文字を認識するオートマトンのテストを行います。
test_onechar.kn
func runAutomaton(automaton: \automaton@Automaton, str: []char): bool
var a: \automaton@Automaton :: automaton.clone()
for i(0, ^str - 1)
do a.put(str[i])
end for
ret a.isAccepted()
end func
func check(str: []char)
var res: []char ::
|@runAutomaton(\automaton@makeOneChar('く'), str) ?("受理", "拒否")
do cui@print("入力=\"\{str}\", 結果=\{res}\n")
end func
func main()
do @check("")
do @check("く")
do @check("くい")
do @check("い")
end func
\automaton@makeOneChar関数で一文字を認識するオートマトンを生成することができます。このテストコードでは、「く」を認識するオートマトンを生成し、４つの場合についてテストしています。テスト結果は以下の通りです。
