回答編集履歴
1
回答指摘があっため修正
answer
CHANGED
|
@@ -1,10 +1,4 @@
|
|
|
1
|
-
もし仮に二つの関数
|
|
1
|
+
もし仮に二つの関数F1とF2があった時、それぞれの
|
|
2
|
-
|
|
2
|
+
初期状態からどのような入力によって状態遷移を
|
|
3
|
-
させても状態の出力が同じであればF1,F2は等価で
|
|
3
|
+
させても状態の出力が同じであればF1,F2は等価で
|
|
4
|
-
判定する。
|
|
4
|
+
あると判定する。
|
|
5
|
-
|
|
6
|
-
eqDFTreeなどの等価性判定アルゴリズムは上記のような
|
|
7
|
-
定義で等価性を判定しているようです。
|
|
8
|
-
|
|
9
|
-
http://yumura-s.hatenablog.com/entry/2013/12/08/203846
|
|
10
|
-
（ご参照）
|