Формальные языки и автоматы ДКА и НКА
.pdfДетерминированные конечные автоматы Недетерминированные конечные автоматы
Формальные языки и автоматы
Расин О.В.
4 февраля 2015 г.
Расин О.В. |
Формальные языки и автоматы |
|
|
Детерминированные конечные автоматы Недетерминированные конечные автоматы
Определение ДКА
Î ï ð å ä å ë å í è å. Детерминированным конечным автоматом(ДКА) называется пятерка A = (Q; S; d ; q0; F), ãäå
Расин О.В. |
Формальные языки и автоматы |
|
|
Детерминированные конечные автоматы Недетерминированные конечные автоматы
Определение ДКА
Î ï ð å ä å ë å í è å. Детерминированным конечным автоматом(ДКА) называется пятерка A = (Q; S; d ; q0; F), ãäå
Q- конечное множество, называемое множеством состояний автомата,
Расин О.В. |
Формальные языки и автоматы |
|
|
Детерминированные конечные автоматы Недетерминированные конечные автоматы
Определение ДКА
Î ï ð å ä å ë å í è å. Детерминированным конечным автоматом(ДКА) называется пятерка A = (Q; S; d ; q0; F), ãäå
Q - конечное множество, называемое множеством состояний автомата,
S - алфавит,
Расин О.В. |
Формальные языки и автоматы |
|
|
Детерминированные конечные автоматы Недетерминированные конечные автоматы
Определение ДКА
Î ï ð å ä å ë å í è å. Детерминированным конечным автоматом(ДКА) называется пятерка A = (Q; S; d ; q0; F), ãäå
Q - конечное множество, называемое множеством состояний автомата,
S - алфавит,
q0 - начальное состояние автомата (q0 2 Q),
Расин О.В. |
Формальные языки и автоматы |
|
|
Детерминированные конечные автоматы Недетерминированные конечные автоматы
Определение ДКА
Î ï ð å ä å ë å í è å. Детерминированным конечным автоматом(ДКА) называется пятерка A = (Q; S; d ; q0; F), ãäå
Q - конечное множество, называемое множеством состояний автомата,
S - алфавит,
q0 - начальное состояние автомата (q0 2 Q),
F- множество заключительных состояний автомата (F Q),
Расин О.В. |
Формальные языки и автоматы |
|
|
Детерминированные конечные автоматы Недетерминированные конечные автоматы
Определение ДКА
Î ï ð å ä å ë å í è å. Детерминированным конечным автоматом(ДКА) называется пятерка A = (Q; S; d ; q0; F), ãäå
Q - конечное множество, называемое множеством состояний автомата,
S - алфавит,
q0 - начальное состояние автомата (q0 2 Q),
F- множество заключительных состояний автомата (F Q),
d- функция переходов автомата. (d : Q S ! Q)
Расин О.В. |
Формальные языки и автоматы |
|
|
Детерминированные конечные автоматы Недетерминированные конечные автоматы
Функция переходов может быть задана таблицей переходов, а может быть восстановлена из диаграммы автомата
Диаграмма |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Таблица |
|
|
|
|
|
||
|
b |
|
|
|
|
|
|
|
|||
q0 |
q1 |
|
|
|
|
a |
b |
||||
|
|
|
! q0 |
|
q0 |
q1 |
|||||
|
|
|
|
|
|||||||
|
|
|
|
|
|
||||||
a |
|
|
|
|
q1 |
|
q2 |
q3 |
|||
a |
b |
|
|
q2 |
|
q2 |
q3 |
||||
|
|
|
|
q3 |
|
q3 |
q3 |
||||
|
|
|
|
|
|
||||||
q2 |
b |
q3 |
a,b |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
||
|
Рис.1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Расин О.В. |
Формальные языки и автоматы |
|
|
Детерминированные конечные автоматы Недетерминированные конечные автоматы
Если после прочтения цепочки w автомат переходит в одно из заключительных состояний, то w распозна¼тся автоматом, иначе отвергается
Расин О.В. |
Формальные языки и автоматы |
|
|
Детерминированные конечные автоматы Недетерминированные конечные автоматы
Если после прочтения цепочки w автомат переходит в одно из заключительных состояний, то w распозна¼тся автоматом, иначе отвергается
aba è a2ba3 распознаются
Расин О.В. |
Формальные языки и автоматы |
|
|