計算理論の基礎 オートマトンと言語(p.46) を見ると、計算の正確な定義というのが書いてある。これに合うように、微妙に定義を変えた。 finite-automaton クラスは定義通り５個組。内部に状態は持たない。 make-fa は make-instance をラップしたマクロ。FA …