Введение в теорию автоматов и вычислений

Курс 1: Автоматы Занятие 12 дорожная карта 2

(с) Клейнер Игорь – M.Sc.Школа обработки и анализа данных - ШОАДик

2015

ПовторениеOДКА– детерминистический конечный

автомат (DFA)OОдна из самых простых моделей

вычисленийOКонтролер с небольшим количеством

памяти

DFA ),,,,( FqQ o

OQ – конечное множество состоянийO∑ - конечный алфавитOq0 – начальное состояниеO∂ - функция переходовOF – множество конечных состояний

DFA ),,,,( FqQ o

OQ – конечное множество состоянийO∑ - конечный алфавитOq0 – начальное состояниеO∂ - функция переходовOF – множество конечных состояний

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

каждого состояния равно размеру алфавита

OКоличество состояний в автомате всегда конечно

DFA - свойстваOВсе конечные слова над заданным

алфавитом можно поделить на два класса эквивалентностиOСлова прочитав которые автомат

окажется в конечном состоянииOИные слова

DFA - свойстваOЯзык автомата – неформальное

определение

OL(M)={ w| автомат прочитав w, окажется в конечном состоянии}

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

бесконечное множество автоматов

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

бесконечное множество автоматовOКак правило предпочтительнее более

простые автоматы (Occam Razor)

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

бесконечное множество автоматовOКак правило предпочтительнее более

простые автоматы (Occam Razor)OЕсть теорема с помощью которой можно

строить автоматы с минимальным количеством состояний

Поддержка курсаOМатериала курса полностью бесплатны,

но если вы хотите поддержать канал и его создателя, то сделать это можно с помощью сервиса «яндекс деньги» -

410013661432725

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