ミリーマシーン
有限オートマトンの表現方法。
「現在状態」と「入力」から新しい「現在状態」を生成する純粋関数。
Reduxはミリーマシーン