Введение в теорию автоматов и вычислений. 1.7 пример простого автомата Продолжение курса лекций теория автоматов

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

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

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

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

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

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

7. finite state automata
OКонечные автоматы – хорошая модель
компьютеров, имеющих ограниченную
память

8. finite state automata
OКонечные автоматы – хорошая модель
компьютеров, имеющих ограниченную
память
OЧто может компьютер у которог мало
памяти?

9. finite state automata
OКонечные автоматы – хорошая модель
компьютеров, имеющих ограниченную
память
OЧто может компьютер у которог мало
памяти?
OОгромное количество вещей!

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

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

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

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

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

15. Конечный автомат
O«Не можешь сделать робота, стань
роботом» Гомер Симпсон
O

16. Конечный автомат
O«Не можешь сделать робота, стань
роботом» Гомер Симпсон
O «Не можешь построить автомат, стань
автоматом»

17. Конечный автомат
OПример: контролер управления
лампочкой
Oлампа
Oкнопка управления лампой, меняющая
состояние лампы с вкл на выкл и наоборот

18. Лампочка – пример автомата
OУ системы два состояния:
O лампа включена – 1
O лампы выключена – 0

19. Лампочка – пример автомата
OУ системы два состояния:
O лампа включена – 1
O лампы выключена – 0

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

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

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

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

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

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

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

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

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

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

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

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