Формальные языки и автоматы ДКА и НКА
.pdf
|
Доопределение E |
Детерминированные конечные автоматы |
Язык, распознаваемый НКА |
Недетерминированные конечные автоматы |
Пример построения ДКА эквивалентного данному НКА |
|
Эквивалентность классов языков, распознаваемых ДКА и |
|
|
Проверяем w 2 A ) w 2 B |
|
|
|
|
|
|
|||||||
Есть послед. перех. |
|
|
|
|
|
|
|
|
|||||
Q0 |
a1 |
Q0 |
a2 Q0 |
a3 |
ak 2 |
Q0 |
|
ak 1 |
Q0 |
ak |
Q0 |
|
|
0 |
! |
1 |
! |
2 |
! ! |
k 2 |
! |
k 1 |
! |
k |
|
||
Пусть qk 2 Qk0 |
\F, найдется qk 1, ÷òî qk 2 E(Qk0 |
1; ak), |
|||||||||||
найдется qk 2, ÷òî qk 2 E(Qk0 |
2; ak 1),. . . , |
|
|||||||||||
Расин О.В. |
Формальные языки и автоматы |
|
|
|
Доопределение E |
Детерминированные конечные автоматы |
Язык, распознаваемый НКА |
Недетерминированные конечные автоматы |
Пример построения ДКА эквивалентного данному НКА |
|
Эквивалентность классов языков, распознаваемых ДКА и |
|
|
Проверяем w 2 A ) w 2 B |
|
|
|
|
|
|
|||||||
Есть послед. перех. |
|
|
|
|
|
|
|
|
|||||
Q0 |
a1 |
Q0 |
a2 Q0 |
a3 |
ak 2 |
Q0 |
|
ak 1 |
Q0 |
ak |
Q0 |
|
|
0 |
! |
1 |
! |
2 |
! ! |
k 2 |
! |
k 1 |
! |
k |
|
||
Пусть qk 2 Qk0 |
\F, найдется qk 1, ÷òî qk 2 E(Qk0 |
1; ak), |
|||||||||||
найдется qk 2, ÷òî qk 2 E(Qk0 |
2; ak 1),. . . , |
|
|||||||||||
найдется q0 , ÷òî q1 2 E(Q00 ; a1). |
|
|
|
|
|||||||||
Расин О.В. |
Формальные языки и автоматы |
|
|
|
Доопределение E |
Детерминированные конечные автоматы |
Язык, распознаваемый НКА |
Недетерминированные конечные автоматы |
Пример построения ДКА эквивалентного данному НКА |
|
Эквивалентность классов языков, распознаваемых ДКА и |
|
|
Проверяем w 2 A ) w 2 B Есть послед. перех.
Q0 |
a1 |
Q0 |
a2 Q0 |
a3 |
ak 2 |
Q0 |
|
ak 1 |
Q0 |
ak |
|
0 |
! |
1 |
! |
2 |
! ! |
k 2 |
! |
k 1 |
! |
||
Пусть qk 2 Qk0 |
\F, найдется qk 1, ÷òî qk |
||||||||||
найдется qk 2, ÷òî qk 2 E(Qk0 |
2; ak 1),. . . |
||||||||||
найдется q0 , ÷òî q1 2 E(Q00 ; a1). |
|
|
|||||||||
Значит есть послед. перех. |
|
|
|
|
|||||||
Q0k
2 E(Q0k 1; ak),
,
Расин О.В. |
Формальные языки и автоматы |
|
|
|
Доопределение E |
Детерминированные конечные автоматы |
Язык, распознаваемый НКА |
Недетерминированные конечные автоматы |
Пример построения ДКА эквивалентного данному НКА |
|
Эквивалентность классов языков, распознаваемых ДКА и |
|
|
Проверяем w 2 A ) w 2 B Есть послед. перех.
Q0 |
a1 |
Q0 |
a2 |
Q0 |
a3 |
ak 2 |
Q0 |
ak 1 |
Q0 |
ak |
0 |
! |
1 |
! |
2 |
! ! |
k 2 |
! |
k 1 |
! |
|
Пусть qk 2 Q0k \F, найдется qk 1, ÷òî qk найдется qk 2, ÷òî qk 2 E(Q0k 2; ak 1),. . .
найдется q0 , ÷òî q1 2 E(Q00; a1). Значит есть послед. перех.
Q0k
2 E(Q0k 1; ak),
,
a1 |
a2 |
a3 |
ak 2 |
ak 1 |
ak |
q0 ! q1 |
! q2 |
! ! qk 2 |
! qk 1 |
! qk = f : |
|
Расин О.В. |
Формальные языки и автоматы |
|
|
|
Доопределение E |
Детерминированные конечные автоматы |
Язык, распознаваемый НКА |
Недетерминированные конечные автоматы |
Пример построения ДКА эквивалентного данному НКА |
|
Эквивалентность классов языков, распознаваемых ДКА и |
|
|
Проверяем w 2 A ) w 2 B Есть послед. перех.
Q0 |
a1 |
Q0 |
a2 |
Q0 |
a3 |
ak 2 |
Q0 |
ak 1 |
Q0 |
ak |
0 |
! |
1 |
! |
2 |
! ! |
k 2 |
! |
k 1 |
! |
|
Пусть qk 2 Q0k \F, найдется qk 1, ÷òî qk
найдется qk 2, ÷òî qk 2 E(Qk0 |
2; ak 1),. . . |
|||||
найдется q0 , ÷òî q1 2 E(Q00 ; a1). |
|
|||||
Значит есть послед. перех. |
|
|
|
|||
a1 |
a2 |
a3 |
ak 2 |
ak 1 |
ak |
|
q0 ! q1 |
! q2 |
! ! qk 2 |
! qk 1 |
! qk |
||
qk 2 F ) w 2 L(B)
Q0k
2 E(Q0k 1; ak),
,
= f :
Расин О.В. |
Формальные языки и автоматы |
|
|