1 pa Ub false R p a Ub

1: = [](p->(a. Ub)) = false R ( p (a. Ub)) New 1 Replaced by 11 false, ( p (a. Ub)) 12 ( p (a. Ub)) Replaced by 11’ ( p (a. Ub)) , false 12 ( p (a. Ub)) Replaced by 12 2

1 Remain ( p (a. Ub)) 121 p , ( p (a. Ub)) 122 a. Ub , ( p (a. Ub)) , 0, p 12 Replaced by 121 ’ 1221 b , 0, a. Ub a , 0, a. Ub 1222 3

1 Replaced by 121 ’ 1221’ 1222’ , 0, p , 0, a. Ub, b , 0, a. Ub, a , a. Ub 4

2, 3, 4 New 2=1 121’ 3=1 1221’ 4 1222’ , a. Ub 5

4 Remain 4 1222’ , a. Ub Replaced by 1222’ false, ( p (a. Ub)), a. Ub 1222’ ( p (a. Ub)), a. Ub 421 1222’ p, a. Ub , 0, 422= 122 a. Ub, a. Ub , 0 41 42 Replaced by 42 1222’ Replaced by 1222’ 6

4 Remain 421 1222’ p, a. Ub , 0, p Replaced by 421 1222’ ’ Replaced by 4211 1222’ b , 0, p, a. Ub 4212 1222’ a , 0, p, a. Ub Replaced by 4211’ 1222’ , 0, p, a. Ub, b 4212’ 1222’ , 0, p, a. Ub, a , a. Ub 7

5, 6 New 5=1 4211’ 6=4 4212’ , a. Ub 8

Summary: 1 121 , 0, p 1221 , 0, a. Ub, b 1222 , 0, a. Ub, a , a. Ub 9

Summary: 1, 2, 3 121 , 121, 1221 1222 , 121, 1221 , 0, p , 0, a. Ub, b , 0, a. Ub, a , a. Ub 10

Summary: 1, 2, 3, 422 121 , 121, 1221 , 0, p 1221 , 121, 1222 , 0, a. Ub, b 1222 , 121, 1222 , 0, a. Ub, a , a. Ub 11

Summary: 1, 2, 3, 4 121 , 121, 1221 , 0, p 1221 , 121, 1222 , 0, a. Ub, b 1222 , 121, 1222 , 0, a. Ub, a , a. Ub 4211 1222 , 0, p, a. Ub, b 4212 1222 , 0, p, a. Ub, a , a. Ub 12

Summary: 1, 2, 3, 4, 5, 6 121 , 121, 4211 1221, 4211 , 0, p 1221 , 121, 4211 1221, 1222, 4211 , 0, a. Ub, b 1222 , 121, 4211 1221, 1222, 4211 , 0, a. Ub, a , a. Ub 4211 4212 1222, 4212 , 0, p, a. Ub, b 4212 1222, 4212 , 0, p, a. Ub, a , a. Ub 13

自动机 1222 , 0, a. Ub, a 4211 , 0, p, a. Ub, b 1221 , 0, a. Ub, b 4212 , 0, p, a. Ub, a 121 , 0, p F={ {1221, 121, 4211 }} 14

自动机 a a a 1222 , 0, a. Ub, a a b b 1221 , 0, a. Ub, b p p p p b b 121 p b , 0, p 4211 , 0, p, a. Ub, b p a 4212 , 0, p, a. Ub, a p a F={ {1221, 121, 4211 }} 15

等价的自动机 a 1222 b , 0, a. Ub, a a b 1221 , 0, a. Ub, b b 121 p p p , 0, p F={ {1221, 121}} 17