Методы построения конечных автоматов на основе ...

1472 -> 1 e 0 [not x 0 ] 0 0 0.00000 0.02047 -0.02413 0.000002 -> 1 e 4 [x 4 ] 0 0 0.00000 0.00110 -0.00006 0.000002 -> 1 e 4 [not x 4 ] 0 0 0.00000 0.00000 0.00000 0.000002 -> 1 e 8 [x 8 ] 0 0 0.00000 0.01159 0.06208 0.000002 -> 2 e 2 [x 2 ] 0 0 0.00000 0.01880 0.00322 0.000002 -> 2 e 6 [x 6 ] 0 0 0.00000 -0.02062 -0.01551 0.000002 -> 2 e 7 [not x 7 ] 0 0 0.00000 0.00309 0.05025 0.000002 -> 2e 10 [notx 10 ] 0 0 0.00000 -0.00054 -0.01195 0.000002 -> 2e 11 [notx 11 ] 3 0 0.00000 0.01573 0.06745 0.000002 -> 2e 12 [notx 12 ] 3 0 0.00000 -0.00140 -0.00006 0.000002 -> 3 e 3 [not x 3 ] 0 0 0.00000 -0.00889 -0.04245 0.000002 -> 3 e 5 [x 5 ] 0 0 0.00000 0.00000 0.00000 0.000002 -> 3 e 7 [x 7 ] 0 0 0.00000 0.00239 0.03443 0.000002 -> 3 e 11 [x 11 ] 0 0 0.00000 0.00000 0.00000 0.000003 -> 0 e 1 [x 1 ] 0 0 0.00000 0.00661 -0.00695 0.000003 -> 0e 10 [notx 10 ] 0 0 0.00000 0.01817 0.04933 0.000003 -> 1 e 3 [x 3 ] 0 0 0.00000 0.02187 0.03925 0.000003 -> 1 e 5 [x 5 ] 0 0 0.00000 0.00905 0.09217 0.000003 -> 1 e 6 [not x 6 ] 0 0 0.00000 0.00664 0.08602 0.000003 -> 1e 12 [notx 12 ] 3 0 0.00000 0.00556 -0.07512 0.000003 -> 2 e 4 [x 4 ] 0 0 0.00000 -0.01550 -0.09491 0.000003 -> 2 e 8 [x 8 ] 0 0 0.00000 -0.00498 0.01483 0.000003 -> 2 e 10 [x 10 ] 0 0 0.00000 0.00000 0.00000 0.000003 -> 2e 11 [notx 11 ] 3 0 0.00000 0.00177 -0.03823 0.000003 -> 3 e 0 [not x 0 ] 0 0 1.00000 0.04394 0.11148 0.000003 -> 3 e 2 [not x 2 ] 0 0 0.00000 -0.02054 -0.17037 0.000003 -> 3 e 7 [not x 7 ] 0 0 0.00000 -0.00315 0.00256 0.000003 -> 3 e 9 [not x 9 ] 0 0 0.00000 -0.01064 0.00960 0.000003 -> 3 e 12 [x 12 ] 3 0 0.00000 0.00757 0.00196 0.00000Отметим, что для каждого состояния могут быть определены 2rпереходов, где r – число входных переменных (в рассматриваемом случаеоно равно 13). Однако ни одно из четырех состояний не содержит их все.