Формальные языки, 5 курс, весна 2016 — различия между версиями
Материал из SEWiki
Darnley (обсуждение | вклад) (Новая страница: «'''Лекции:''' Михаил Эдуардович Дворкин (<b>mikhail.dvorkin@gmail.com</b>) '''Практика:''' Екатерина Вербицк…») |
(добавил email slabodkinm@gmail.com, результаты практики) |
||
Строка 1: | Строка 1: | ||
'''Лекции:''' Михаил Эдуардович Дворкин (<b>mikhail.dvorkin@gmail.com</b>) | '''Лекции:''' Михаил Эдуардович Дворкин (<b>mikhail.dvorkin@gmail.com</b>) | ||
− | '''Практика:''' Екатерина Вербицкая, Михаил Слабодкин. | + | '''Практика:''' Екатерина Вербицкая, Михаил Слабодкин (slabodkinm@gmail.com). |
== План == | == План == | ||
Строка 14: | Строка 14: | ||
* Прямое произведение ДКА. | * Прямое произведение ДКА. | ||
* Динамическое программирование по ДКА. | * Динамическое программирование по ДКА. | ||
+ | |||
+ | == Подгруппа Михаила Слабодкина == | ||
+ | |||
+ | [https://docs.google.com/spreadsheets/d/1A_IpQrFM7Qf524oY79ONEvnFxu2zw8bRGx8-XEQm3Rg Результаты] | ||
== Ссылки == | == Ссылки == |
Версия 15:13, 4 марта 2016
Лекции: Михаил Эдуардович Дворкин (mikhail.dvorkin@gmail.com)
Практика: Екатерина Вербицкая, Михаил Слабодкин (slabodkinm@gmail.com).
План
Лекция 1
- Языки и yes/no-задачи. Теоретико-множественное доказательство невозможности описания языков.
- Детерминированные конечные автоматы. Принятие слова.
- Эквивалентность состояний. Минимизация ДКА.
Лекция 2
- Правые контексты.
- Эквивалентность ДКА.
- Прямое произведение ДКА.
- Динамическое программирование по ДКА.