手製のNFA

表を見ると、 状態1の時に入力値が/であれば状態2へ 状態2の時に入力値が*であれば状態3へ、それ以外は１へ 状態3の時に入力値が*であれば状態４へ、それ以外は3へ 状態4の時に入力値が/であれば状態１へ、それ以外は3へ 以上の事をgraphvizに入力すると、状態遷移図を自動生成できます。 digraph G { graph [rankdir=LR]; node [shape="circle"]; S1->S2 [label="/"]; S2->S1 [label="[^*]"]; S2->S3 [label="*"]; S3->S3 [label="[^*]"] ; S3->S4 [label="*"]; S4->S1 [label="/"]; S4->S3 [label="[^/]"]; } んで、上の表と図を見ながら単純にプログラムに置き換えます。 std::string val;