私は現在 DAWG を調べていますが、非循環オートマトンを構築する良い方法を見つけることができませんでした。
基本的に、私がやりたいことはこれです:
これは基本的にツリーであり、状態の数が減っています。数字で使用しますが、概念はまったく同じです。
どうするのが一番早いのだろうと思いますが、私の実際の計画は、左のようにグラフを作成し、低レベルの状態を見て、それらが類似しているときはそれらをマージすることでした。
ただし、これが最善の方法であるかどうかはわかりませんが、それを構築する方法についてアイデアを持っている人はいますか。
よろしく。