Формальные языки и автоматы ДКА и НКА
.pdfДетерминированные конечные автоматы Недетерминированные конечные автоматы
Пример
Диаграмма a
b
q0
a a
q2 b
w = aba3
Цепочки
d (q0; w) = d (q0; aba3) = d (q0; ba3) = d (q1; a3) =
q1 |
d (q2; a2) = : : : |
b
a,b
q3
Расин О.В. |
Формальные языки и автоматы |
|
|
Детерминированные конечные автоматы Недетерминированные конечные автоматы
Пример
Диаграмма a
b
q0
a a
q2 b
w = aba3
Цепочки
d (q0; w) = d (q0; aba3) = d (q0; ba3) = d (q1; a3) =
q1 |
d (q2; a2) = : : : = q2, |
b
a,b
q3
Расин О.В. |
Формальные языки и автоматы |
|
|
Детерминированные конечные автоматы Недетерминированные конечные автоматы
Пример
Диаграмма a
b
q0
a a
q2 b
w = aba3
|
Цепочки |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
d (q0; w) = d (q0; aba3) = |
|
|||||||||||||||
|
|
d (q0; ba3) = d (q1; a3) = |
|
|||||||||||||||
q1 |
|
d (q2; a2) = : : : = q2, |
|
|||||||||||||||
|
|
d (q1; w) = q3, |
|
|||||||||||||||
b |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a,b |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
q3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Расин О.В. |
|
Формальные языки и автоматы |
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Детерминированные конечные автоматы Недетерминированные конечные автоматы
Пример
Диаграмма a
b
q0
a a
q2 b
w = aba3
|
Цепочки |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
d (q0; w) = d (q0; aba3) = |
|
|||||||||||||||
|
|
d (q0; ba3) = d (q1; a3) = |
|
|||||||||||||||
q1 |
|
d (q2; a2) = : : : = q2, |
|
|||||||||||||||
|
|
d (q1; w) = q3, |
|
|||||||||||||||
b |
|
d (q2; w) = q3 |
|
|||||||||||||||
|
|
|
||||||||||||||||
a,b |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
q3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Расин О.В. |
|
Формальные языки и автоматы |
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Детерминированные конечные автоматы Недетерминированные конечные автоматы
Пример
Диаграмма a
b
q0
a a
q2 b
w = aba3
|
Цепочки |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
d (q0; w) = d (q0; aba3) = |
|
|||||||||
|
|
d (q0; ba3) = d (q1; a3) = |
|
|||||||||
q1 |
|
d (q2; a2) = : : : = q2, |
|
|||||||||
|
|
d (q1; w) = q3, |
|
|||||||||
b |
|
d (q2; w) = q3 |
|
|||||||||
|
|
|
||||||||||
a,b |
|
d (q3; w) = q3. |
|
|||||||||
q3 |
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Расин О.В. |
|
Формальные языки и автоматы |
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Доопределение E |
Детерминированные конечные автоматы |
Язык, распознаваемый НКА |
Недетерминированные конечные автоматы |
Пример построения ДКА эквивалентного данному НКА |
|
Эквивалентность классов языков, распознаваемых ДКА и |
|
|
Недетерминированные конечные автоматы
Расин О.В. |
Формальные языки и автоматы |
|
|
|
Доопределение E |
Детерминированные конечные автоматы |
Язык, распознаваемый НКА |
Недетерминированные конечные автоматы |
Пример построения ДКА эквивалентного данному НКА |
|
Эквивалентность классов языков, распознаваемых ДКА и |
|
|
Определение НКА
Определение
Недетерминированным конечным автоматом(НКА) называется пятерка B = (Q; S; E; Q0; F), ãäå
Расин О.В. |
Формальные языки и автоматы |
|
|
|
Доопределение E |
Детерминированные конечные автоматы |
Язык, распознаваемый НКА |
Недетерминированные конечные автоматы |
Пример построения ДКА эквивалентного данному НКА |
|
Эквивалентность классов языков, распознаваемых ДКА и |
|
|
Определение НКА
Определение
Недетерминированным конечным автоматом(НКА) называется пятерка B = (Q; S; E; Q0; F), ãäå
Q- конечное множество, называемое множеством состояний автомата,
Расин О.В. |
Формальные языки и автоматы |
|
|
|
Доопределение E |
Детерминированные конечные автоматы |
Язык, распознаваемый НКА |
Недетерминированные конечные автоматы |
Пример построения ДКА эквивалентного данному НКА |
|
Эквивалентность классов языков, распознаваемых ДКА и |
|
|
Определение НКА
Определение
Недетерминированным конечным автоматом(НКА) называется пятерка B = (Q; S; E; Q0; F), ãäå
Q - конечное множество, называемое множеством состояний автомата,
S - алфавит,
Расин О.В. |
Формальные языки и автоматы |
|
|
|
Доопределение E |
Детерминированные конечные автоматы |
Язык, распознаваемый НКА |
Недетерминированные конечные автоматы |
Пример построения ДКА эквивалентного данному НКА |
|
Эквивалентность классов языков, распознаваемых ДКА и |
|
|
Определение НКА
Определение
Недетерминированным конечным автоматом(НКА) называется пятерка B = (Q; S; E; Q0; F), ãäå
Q - конечное множество, называемое множеством состояний автомата,
S - алфавит,
Q0 - множество начальных состояний автомата
(Q0 Q),
Расин О.В. |
Формальные языки и автоматы |
|
|