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