有限オートマトンを実装してなんとなく挙動をつかむ - 私が歌川です前置き みなさんは、チューリングテストに合格していますか？ 本題 有限オートマトンとは、内部状態を持ち、入力によってさまざまな状態に遷移し動作する機械を抽象化したものです。 これは、有限オートマトン - Wikipediaから引用した図です。このように、状態を表す図形と矢印を使った状態遷移図や、状態遷移表によって表されることが多いです。 さて、しばしば私たちは有限オートマトンをペンで書き下ろすのですが、それがどのように振る舞うのか、逐一入力を変えて確かめてみたくなります。しかしそれは大変な苦痛を伴います。 そのようなときには実装してしまいましょう。 gist.github.com コンストラクタに、アルファベットの集合(ここでは 01 のどちらか)と、状態遷移表に対応する辞書型のリストを渡します。 {'0': 0, '1': 1, 'accepted': True} は、この状態にあるとき
