Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Формальные языки и автоматы ДКА и НКА

.pdf
Скачиваний:
10
Добавлен:
13.03.2016
Размер:
1.16 Mб
Скачать

 

Доопределение 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),

Расин О.В.

Формальные языки и автоматы