定義だけなら サルでもできる 理論は例と定理が命 有限状態オートマトンの例 入力として 0と1の列を考える 自然数nを2進数で 大きい桁から順に書いた列よ nが3の倍数かどうか 「計算」するオートマトンを作るわ 状態集合Qは{q_0, q_1, q_2} つまり状態はq_0,…