You are on page 1of 4

- >7 * 2/ 6 2 9,+ * >J>7 * 2/ 6 2 9,+D

, - -
+, + +, 2 2/ /+> * *+< 2
2 / 7+, 2 : U / 46 -+7 - 2+- 2/ /+

D * , - 2/ /+=2/ /+ * 2/ 6 2 9,+> * - D


N * , - 2/ /+=2/ /+ * 2/ 6 2 9,+> * - N


- G

N? G

* G

D
edu si %um*ah
State
/ada FSA 0 Step

H 2, 2+- 2/ /+ 46 / * * / * ; * 7 2/ /+
, (
uselessstate
)

B /, 2+- 2 6 2/ /+ ( > J) 4 6
distinguishable
>* -

F* J

F. C / / 2+- 2 6 = 2 6
state
/+72+9 /.

C 7
state
, 4 6
distinguishable
*+ 6 / 7 : U / 2+- ( > J) * 2+-

> / 6, ( > )@

* (J> )@ J

+ * / * 6 9 6 - + ? * 2 / 2/ /+. edu si %um*ah State /ada FSA 0 1ontoh edu si %um*ah State /ada FSA 0 Step • State J5 / * * /* . 2 6 ( >J ) * . • S + . • S+2 /7 2 2 * 7 2/ /+=2/ /+ 6 9 6 /+72+9 /. 2 6 state 4 6 distinguishable . ( useless 2/ /+). 2 6 state 4 6 / * /+7.. H 2 2/ /+ J5 • C / / state-state * 2/ 6 2 9.2 2 6 4 6 distinguishable .+> 4 / :J$ ∈ F 2+* 6 J0> J1> J > J3 ∉ . * 7 state . *+ 6 ? .2 2+9 6 state 4 6 distinguishable -+7 state-state indistinguishable . 2 6 ( > J) ? 6 /+7. • B+9+7 2/ /+ 4 6 * 2/ 6 2 9.

(J0> J1) * . (J0> J ) * . * +7 2 2+. . • P 2 6 = 2 6 state ./+7 *+ / < 2 (J0> 1) @ J3 * (J > 1) @ J$ à (J3> J$) distinguishable ./+7 *+ / < 2 (J0> 1) @ J3 * (J1> 1) @ J$ à (J3> J$) distinguishable . – U / 2 6 (J0> J ) (J0> 0) @ J1 * (J > 0) @ J1 à 9+. 2 6 state . . distinguishable . 4 6 d i s t i n g u i s h a b l e * / 7 9+7* 2 7 2 6 * 7 .F 2+ 66 2 6 (J0> J$) (J1> J$) (J > J$) * (J3> J$) * . /+7* / state-state 4 6 distinguishable : ( J 0 > J 1 ) > ( J 0 > J ) > ( J 0 > J 3 ) > ( J 0 > J $ ) > ( J 1 > J $ ) > ( J > J $ ) > (J3>J$) . 6 >4 / : – U / 2 6 (J0> J1) (J0> 0) @ J1 * (J1> 0) @ J à 9+. distinguishable . • S+/+. distinguishable .

.+ * * /* ? * 2 / 2/ /+. * / * 2 . • K 7+ J1 * 2/ 6 2 9. 2 =7+. 2 6 = 2 6 2/ /+ /+72+9 / indistinguishable .+ *+ 6 J3>. • B+7* 2 7 2 . J1> J > J3 2 . 2 4 6 * >/ * * / * 9 / (J1> J )> (J1> J3) * (J > J3) distinguishable > 2+ 66 * 2 .* / 2. 2 . .+ *+ 6 J >J * 2/ 6 2 9. * 7 DFA 4 6 * 7+* 2 - + ? * : READ PAPER .K 7+ 9+7* 2 7 7+. 6 * 2/ 6 2 9.