generated at
0～3 個のミスマッチを許すrestaurantの状態遷移機械