Формальные языки и автоматы ДКА и НКА
.pdf
|
Доопределение E |
Детерминированные конечные автоматы |
Язык, распознаваемый НКА |
Недетерминированные конечные автоматы |
Пример построения ДКА эквивалентного данному НКА |
|
Эквивалентность классов языков, распознаваемых ДКА и |
|
|
Проверяем w 2 B ) w 2 A
Пусть w = a1a2 : : : ak 2 L(B). Есть послед. перех.
Расин О.В. |
Формальные языки и автоматы |
|
|
|
Доопределение E |
Детерминированные конечные автоматы |
Язык, распознаваемый НКА |
Недетерминированные конечные автоматы |
Пример построения ДКА эквивалентного данному НКА |
|
Эквивалентность классов языков, распознаваемых ДКА и |
|
|
Проверяем w 2 B ) w 2 A
Пусть w = a1a2 : : : ak 2 L(B). Есть послед. перех.
a1 |
a2 |
a3 |
ak 2 |
ak 1 |
ak |
q0 ! q1 |
! q2 |
! ! qk 2 |
! qk 1 |
! qk = f : |
Расин О.В. |
Формальные языки и автоматы |
|
|
|
Доопределение E |
Детерминированные конечные автоматы |
Язык, распознаваемый НКА |
Недетерминированные конечные автоматы |
Пример построения ДКА эквивалентного данному НКА |
|
Эквивалентность классов языков, распознаваемых ДКА и |
|
|
Проверяем w 2 B ) w 2 A
Пусть w = a1a2 : : : ak 2 L(B). Есть послед. перех.
a1 |
a2 |
a3 |
ak 2 |
ak 1 |
ak |
q0 ! q1 |
! q2 |
! ! qk 2 |
! qk 1 |
! qk = f : |
Для каждого i = 1; k положим Q0i = E(qi 1; ai)
Расин О.В. |
Формальные языки и автоматы |
|
|
|
Доопределение E |
Детерминированные конечные автоматы |
Язык, распознаваемый НКА |
Недетерминированные конечные автоматы |
Пример построения ДКА эквивалентного данному НКА |
|
Эквивалентность классов языков, распознаваемых ДКА и |
|
|
Проверяем w 2 B ) w 2 A
Пусть w = a1a2 : : : ak 2 L(B). Есть послед. перех.
a1 |
a2 |
a3 |
ak 2 |
ak 1 |
ak |
q0 ! q1 |
! q2 |
! ! qk 2 |
! qk 1 |
! qk = f : |
Для каждого i = 1; k положим Q0i = E(qi 1; ai)
q0 |
q1 |
qi |
qk |
|
Q |
0 |
Q' |
Q' |
Q' |
|
1 |
i |
k |
Расин О.В. |
Формальные языки и автоматы |
|
|
|
Доопределение E |
Детерминированные конечные автоматы |
Язык, распознаваемый НКА |
Недетерминированные конечные автоматы |
Пример построения ДКА эквивалентного данному НКА |
|
Эквивалентность классов языков, распознаваемых ДКА и |
|
|
Проверяем w 2 B ) w 2 A
Пусть w = a1a2 : : : ak 2 L(B). Есть послед. перех.
a1 |
a2 |
a3 |
ak 2 |
ak 1 |
ak |
q0 ! q1 |
! q2 |
! ! qk 2 |
! qk 1 |
! qk = f : |
Для каждого i = 1; k положим Q0i = E(qi 1; ai)
q0 |
q1 |
qi |
qk |
|
Q |
0 |
Q' |
Q' |
Q' |
|
1 |
i |
k |
Q0k 2 H, ò.ê. qk 2 F ) w 2 L(A )
Расин О.В. |
Формальные языки и автоматы |
|
|
|
Доопределение E |
Детерминированные конечные автоматы |
Язык, распознаваемый НКА |
Недетерминированные конечные автоматы |
Пример построения ДКА эквивалентного данному НКА |
|
Эквивалентность классов языков, распознаваемых ДКА и |
|
|
Проверяем w 2 B ) w 2 A
Пусть w = a1a2 : : : ak 2 L(B). Есть послед. перех.
a1 |
a2 |
a3 |
ak 2 |
ak 1 |
ak |
q0 ! q1 |
! q2 |
! ! qk 2 |
! qk 1 |
! qk = f : |
Для каждого i = 1; k положим Q0i = E(qi 1; ai)
q0 |
q1 |
qi |
qk |
|
Q |
0 |
Q' |
Q' |
Q' |
|
1 |
i |
k |
Q0k 2 H, ò.ê. qk 2 F ) w 2 L(A )
Расин О.В. |
Формальные языки и автоматы |
|
|
|
Доопределение E |
Детерминированные конечные автоматы |
Язык, распознаваемый НКА |
Недетерминированные конечные автоматы |
Пример построения ДКА эквивалентного данному НКА |
|
Эквивалентность классов языков, распознаваемых ДКА и |
|
|
Проверяем w 2 A ) w 2 B
Расин О.В. |
Формальные языки и автоматы |
|
|
|
Доопределение E |
Детерминированные конечные автоматы |
Язык, распознаваемый НКА |
Недетерминированные конечные автоматы |
Пример построения ДКА эквивалентного данному НКА |
|
Эквивалентность классов языков, распознаваемых ДКА и |
|
|
Проверяем w 2 A ) w 2 B
Есть послед. перех.
Расин О.В. |
Формальные языки и автоматы |
|
|
|
Доопределение 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 |
Расин О.В. |
Формальные языки и автоматы |
|
|
|
Доопределение 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), |
Расин О.В. |
Формальные языки и автоматы |
|
|