Введение в теорию автоматов и вычислений. 1.12 дорожная карта 2 - ДКА Автоматы определение и основные свойства - повторение

1. Введение в теорию
автоматов и вычислений
Курс 1: Автоматы
Занятие 12 дорожная карта 2
(с) Клейнер Игорь – M.Sc.
Школа обработки и анализа данных - ШОАДик
2015

2. Повторение
OДКА– детерминистический конечный
автомат (DFA)
OОдна из самых простых моделей
вычислений
OКонтролер с небольшим количеством
памяти

3. DFA
  ),,,,( FqQ o
OQ – конечное множество состояний
O∑ - конечный алфавит
Oq0 – начальное состояние
O∂ - функция переходов
OF – множество конечных состояний

4. DFA
  ),,,,( FqQ o
OQ – конечное множество состояний
O∑ - конечный алфавит
Oq0 – начальное состояние
O∂ - функция переходов
OF – множество конечных состояний

5. DFA - свойства
OF – может быть пустым
OКоличество стрелок выходящих из
каждого состояния равно размеру
алфавита
OКоличество состояний в автомате
всегда конечно

6. DFA - свойства
OВсе конечные слова над заданным
алфавитом можно поделить на два
класса эквивалентности
OСлова прочитав которые автомат
окажется в конечном состоянии
OИные слова

7. DFA - свойства
OЯзык автомата – неформальное
определение
OL(M)={ w| автомат прочитав w, окажется
в конечном состоянии}

8. DFA - свойства
OДля данного языка можно построить
бесконечное множество автоматов

9. DFA - свойства
OДля данного языка можно построить
бесконечное множество автоматов
OКак правило предпочтительнее более
простые автоматы (Occam Razor)

10. DFA - свойства
OДля данного языка можно построить
бесконечное множество автоматов
OКак правило предпочтительнее более
простые автоматы (Occam Razor)
OЕсть теорема с помощью которой можно
строить автоматы с минимальным
количеством состояний

11. Поддержка курса
OМатериала курса полностью бесплатны,
но если вы хотите поддержать канал и
его создателя, то сделать это можно с
помощью сервиса «яндекс деньги» -
410013661432725

12. Ссылки
O Слайды на slideshare: slideshare.net/igorkleiner5/
O Плейлист курса: https://goo.gl/Joqyjd
O Группа в контакте: https://vk.com/computationtheory
O Канал на ютуб: www.youtube.com/user/igorkle1