:‫پاسخنامه تمرین سوم نظریه‬

)1 ‫سوال‬
‫ن‬
.‫ میکنیم‬DFA ‫ماشی را تبدیل به‬ ‫• ابتدا‬

δ a b ε-closure t a b

q0 q2 q1 - q0 q0 q0 q2 q1

q1 q5 q3 - q1 q1 q1 q5 , q2 q3

q2 q5 q2 - q2 q2 q2 q5 , q2 q2

q3 q4 q2 - q3 q3 q3 q4 , q5 , q2 q2

q4 q5 q3 q5 q4 q4 , q5 , q2 q4 q5 , q2 q2,q3

q5 q5 q3 q2 q5 q5 , q2 q5 q5 , q2 q2,q3
 :‫• کمینه کردن‬

{A , F} ‫غی شناسای‬

A.a=B A . b = F ‫غی شناسای‬

F.a=E F. b = C ‫شناسای‬ ‫{ <= غی قابل ادغام‬A{ }F}

{B,C,D,E} ‫شناسای‬

B.a=B B.b=C
C.a=E C. b = D
D.a=B D. b = D
E.a=B E.b=C

{A{ = {q0 , q1}

}F} = {q1,q3}
{B,C,D,E} = {q2,q3,q4,q5}
 )2 ‫سوال‬

δ a b c ε-closure t a b c

q0 q1 q2 - - q0 q0 q0 q1 q2 -

q1 - q3 , q4 - - q1 q1 q1 - q0 , q3 q4 -

q2 q4 , q5 - - - q2 q2 q2 q4 , q5 - -

q3 q6 - - q0 q3 q0 , q3 q3 q1 , q6 - -

q4 q6 - q8 - q4 q4 q4 q6 - q8

q5 - q8 - - q5 q5 q5 - q8 -

q6 - - q0 - q6 q6 q6 - - q0

q7 q6 q6 - - q7 q7 q7 q6 q6 -

q8 q7 - q7 - q8 q8 q8 q7 - q7
 ‫سوال ‪) 3‬‬

‫به دلیل تله بودن وضعیت ‪ ، q1‬آن را حذف یم کنیم ‪.‬‬

‫‪ .1‬فرض میکنیم فقط ‪ q2‬شناسای است و اقدام به حذف ‪ q4‬و سپس ‪ q3‬میکنیم‪.‬‬

‫*) ‪R1 = A ( C* | BA‬‬

‫‪ .2‬فرض میکنیم فقط ‪ q3‬شناسای است و اقدام به حذف ‪ q2‬و ‪ q4‬میکنیم‪.‬‬

‫*) ‪R2 = A*B ( C* | DA*B‬‬

 ‫جواب نهای‪:‬‬
‫‪R = R1 | R2‬‬