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

Курс 1: Автоматы Занятие 7 – DFA – начало, интуиция

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

2015

ПовторениеOОбъединение словOРеверс слова

Что такое компьютер?OКазалось бы тривиальный вопрос

Что такое компьютер?OКазалось бы тривиальный вопрос

OВсе знают, что это!

Что такое компьютер?OКазалось бы тривиальный вопросOВсе знают, что это!OНо как определить модель вычислений

формально???

Что такое компьютер?OКазалось бы тривиальный вопросOВсе знают, что это!OНо как определить модель вычислений

формально???OНачнем с самой простой модели –

конечный автомат finite state automata

finite state automataOКонечные автоматы – хорошая модель

компьютеров, имеющих ограниченную память

finite state automataOКонечные автоматы – хорошая модель

компьютеров, имеющих ограниченную память

OЧто может компьютер у которог мало памяти?

finite state automataOКонечные автоматы – хорошая модель

компьютеров, имеющих ограниченную память

OЧто может компьютер у которог мало памяти?

OОгромное количество вещей!

Конечные автоматы – мало памяти, много хорошего

Конечные автоматы – мало памяти, много хорошего

Конечный автоматOОпределение:

Конечный автоматOОпределение:

Конечный автоматOОпределение:

Конечный автоматO«Не можешь сделать робота, стань

роботом» Гомер Симпсон

O

Конечный автоматO«Не можешь сделать робота, стань

роботом» Гомер Симпсон

O «Не можешь построить автомат, стань автоматом»

Конечный автоматOПример: контролер управления

лампочкойOлампаOкнопка управления лампой, меняющая

состояние лампы с вкл на выкл и наоборот

Лампочка – пример автоматаOУ системы два состояния:

O лампа включена – 1O лампы выключена – 0

Лампочка – пример автоматаOУ системы два состояния:

O лампа включена – 1O лампы выключена – 0

Лампочка – пример автоматаOУ системы два состояния:

O лампа включена – 1O лампы выключена – 0

OОдна операция – «нажатие на кнопку»

Лампочка – пример автоматаOУ системы два состояния:OОдна операция – «нажатие на кнопку»OОперация меняет состояния системы

Лампочка – пример автоматаOУ системы два состояния:OОдна операция – «нажатие на кнопку»OОперация меняет состояния системы

Лампочка – пример автоматаOУ системы два состояния:OОдна операция – «нажатие на кнопку»OОперация меняет состояния системыOИзначально лампа выключена

Лампочка – пример автоматаOУ системы два состояния:OОдна операция – «нажатие на кнопку»OОперация меняет состояния системыOИзначально лампа выключена

OУ системы два состояния:OОдна операция – «нажатие на кнопку»OОперация меняет состояния системыOИзначально лампа выключенаOНас интересует когда лампа включена

Лампочка – пример автоматаOЧто мы видели:

O у системы есть состоянияO одно начальное состояниеO конечное состояниеOфункция перехода из состояния в состояяние

Лампочка – пример автоматаOфункция перехода из состояния в состояяние

Конечный автомат OХарактеризуется:

O конечным множеством состоянийO начальным состояниемO множеством конечных состоянийO функцией переходаO алфавитом???

В следующий разOБолее интересный пример автомата

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

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

410013661432725

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