Теория автоматов и вычислений 1.19 конечные автоматы -...
TRANSCRIPT
![Page 1: Теория автоматов и вычислений 1.19 конечные автоматы - домашнее задание](https://reader035.vdocuments.site/reader035/viewer/2022062412/5884c8071a28ab767c8b491b/html5/thumbnails/1.jpg)
Введение в теорию автоматов и вычислений
Курс 1: Автоматы Занятие 19 ДКА – домашнее задание
(с) Клейнер Игорь – M.Sc.Школа обработки и анализа данных - ШОАДик
2015
![Page 2: Теория автоматов и вычислений 1.19 конечные автоматы - домашнее задание](https://reader035.vdocuments.site/reader035/viewer/2022062412/5884c8071a28ab767c8b491b/html5/thumbnails/2.jpg)
Задание 1OПостройте ДКА, который допускает
следующий язык:OМножество бинарных цепочек над 0\1,
оканчивающихся на 00OПродемонстрируйте работу
автомата на интересных цепочках
![Page 3: Теория автоматов и вычислений 1.19 конечные автоматы - домашнее задание](https://reader035.vdocuments.site/reader035/viewer/2022062412/5884c8071a28ab767c8b491b/html5/thumbnails/3.jpg)
Задание 2OПостройте ДКА, который допускает
следующий язык:OМножество бинарных цепочек над 0\1,
содержащих три ноля подрядOПродемонстрируйте работу
автомата на интересных цепочках
![Page 4: Теория автоматов и вычислений 1.19 конечные автоматы - домашнее задание](https://reader035.vdocuments.site/reader035/viewer/2022062412/5884c8071a28ab767c8b491b/html5/thumbnails/4.jpg)
Задание 3OПостройте ДКА, который допускает
следующий язык:OМножество бинарных цепочек над 0\1,
в которых количество нолей делится на три, а количество едениц делится на 5
![Page 5: Теория автоматов и вычислений 1.19 конечные автоматы - домашнее задание](https://reader035.vdocuments.site/reader035/viewer/2022062412/5884c8071a28ab767c8b491b/html5/thumbnails/5.jpg)
Задание 4OДокажите, используя автомат
произведения, что XOR двух регулярных языков, является регулярным языком
![Page 6: Теория автоматов и вычислений 1.19 конечные автоматы - домашнее задание](https://reader035.vdocuments.site/reader035/viewer/2022062412/5884c8071a28ab767c8b491b/html5/thumbnails/6.jpg)
Задание 5OДокажите, что следующий язык является
регулярнымOL – содержит все бинарные цепочки
которые:OИли содержат 3 единицы подрядOИли начинаются с 1 и кончаются 0OИли количество 1 в них + количество 0 четно
![Page 7: Теория автоматов и вычислений 1.19 конечные автоматы - домашнее задание](https://reader035.vdocuments.site/reader035/viewer/2022062412/5884c8071a28ab767c8b491b/html5/thumbnails/7.jpg)
Поддержка курсаOМатериала курса полностью бесплатны,
но если вы хотите поддержать канал и его создателя, то сделать это можно с помощью сервиса «яндекс деньги» -
410013661432725
![Page 8: Теория автоматов и вычислений 1.19 конечные автоматы - домашнее задание](https://reader035.vdocuments.site/reader035/viewer/2022062412/5884c8071a28ab767c8b491b/html5/thumbnails/8.jpg)
СсылкиO Слайды на slideshare: slideshare.net/igorkleiner5/O Плейлист курса: https://goo.gl/JoqyjdO Группа в контакте: https://vk.com/computationtheoryO Канал на ютуб: www.youtube.com/user/igorkle1