Формальные языки и автоматы ДКА и НКА
.pdf
Детерминированные конечные автоматы Недетерминированные конечные автоматы
Если после прочтения цепочки w автомат переходит в одно из заключительных состояний, то w распозна¼тся автоматом, иначе отвергается
aba è a2ba3 распознаются
a2 è abab не распознаются
Расин О.В. |
Формальные языки и автоматы |
|
|
Детерминированные конечные автоматы Недетерминированные конечные автоматы
Если после прочтения цепочки заключительных состояний, то иначе отвергается
w автомат переходит в одно из w распозна¼тся автоматом,
aba è a2ba3 распознаются
a2 è abab не распознаются
Множество цепочек, распознаваемых автоматом A называется языком распознаваемым автоматом (обозн. L(A ))
Расин О.В. |
Формальные языки и автоматы |
|
|
Детерминированные конечные автоматы Недетерминированные конечные автоматы
Если после прочтения цепочки заключительных состояний, то иначе отвергается
w автомат переходит в одно из w распозна¼тся автоматом,
aba è a2ba3 распознаются
a2 è abab не распознаются
Множество цепочек, распознаваемых автоматом A называется языком распознаваемым автоматом (обозн. L(A ))
L(A )1 = fbakjk 2 Ng[fanbakjk; n 2 Ng = a ba :
Расин О.В. |
Формальные языки и автоматы |
|
|
Детерминированные конечные автоматы Недетерминированные конечные автоматы
Предложение
Для каждой цепочки w 2 S и состояния q существует единственное состояние q0, в которое переходит автомат после прочтения данной цепочки.
Расин О.В. |
Формальные языки и автоматы |
|
|
Детерминированные конечные автоматы Недетерминированные конечные автоматы
Предложение
Для каждой цепочки w 2 S и состояния q существует единственное состояние q0, в которое переходит автомат после прочтения данной цепочки.
Доказательство. Пусть w = a1a2 : : : ak.
Расин О.В. |
Формальные языки и автоматы |
|
|
Детерминированные конечные автоматы Недетерминированные конечные автоматы
Предложение
Для каждой цепочки w 2 S и состояния q существует единственное состояние q0, в которое переходит автомат после прочтения данной цепочки.
Доказательство. Пусть w = a1a2 : : : ak.
В данный момент автомат находится в состоянии q.
Расин О.В. |
Формальные языки и автоматы |
|
|
Детерминированные конечные автоматы Недетерминированные конечные автоматы
Предложение
Для каждой цепочки w 2 S и состояния q существует единственное состояние q0, в которое переходит автомат после прочтения данной цепочки.
Доказательство. Пусть w = a1a2 : : : ak.
В данный момент автомат находится в состоянии q. Тогда, читая w èç q
Расин О.В. |
Формальные языки и автоматы |
|
|
Детерминированные конечные автоматы Недетерминированные конечные автоматы
Предложение
Для каждой цепочки w 2 S и состояния q существует единственное состояние q0, в которое переходит автомат после прочтения данной цепочки.
Доказательство. Пусть w = a1a2 : : : ak.
В данный момент автомат находится в состоянии q. Тогда, читая w èç q
a1
q ! qi1
Расин О.В. |
Формальные языки и автоматы |
|
|
Детерминированные конечные автоматы Недетерминированные конечные автоматы
Предложение
Для каждой цепочки w 2 S и состояния q существует единственное состояние q0, в которое переходит автомат после прочтения данной цепочки.
Доказательство. Пусть w = a1a2 : : : ak.
В данный момент автомат находится в состоянии q. Тогда, читая w èç q
a1 |
a2 |
q ! qi1 |
! qi2 |
Расин О.В. |
Формальные языки и автоматы |
|
|
Детерминированные конечные автоматы Недетерминированные конечные автоматы
Предложение
Для каждой цепочки w 2 S и состояния q существует единственное состояние q0, в которое переходит автомат после прочтения данной цепочки.
Доказательство. Пусть w = a1a2 : : : ak.
В данный момент автомат находится в состоянии q. Тогда, читая w èç q
a1 |
a2 |
: : : qik 2 |
q ! qi1 |
! qi2 |
Расин О.В. |
Формальные языки и автоматы |
|
|