Формальные языки, 2 курс, весна 2016 — различия между версиями
Материал из SEWiki
Darnley (обсуждение | вклад) |
(добавил email slabodkinm@gmail.com) |
||
Строка 1: | Строка 1: | ||
'''Лекции:''' Михаил Эдуардович Дворкин (<b>mikhail.dvorkin@gmail.com</b>) | '''Лекции:''' Михаил Эдуардович Дворкин (<b>mikhail.dvorkin@gmail.com</b>) | ||
− | '''Практика:''' Николай Карпов (I подгруппа), Михаил Слабодкин (II подгруппа). | + | '''Практика:''' Николай Карпов (I подгруппа), Михаил Слабодкин (slabodkinm@gmail.com) (II подгруппа). |
== План == | == План == |
Версия 15:10, 4 марта 2016
Лекции: Михаил Эдуардович Дворкин (mikhail.dvorkin@gmail.com)
Практика: Николай Карпов (I подгруппа), Михаил Слабодкин (slabodkinm@gmail.com) (II подгруппа).
План
Лекция 1
- Языки и yes/no-задачи. Теоретико-множественное доказательство невозможности описания языков.
- Детерминированные конечные автоматы. Принятие слова.
- Эквивалентность состояний. Минимизация ДКА.
Лекция 2
- Правые контексты.
- Эквивалентность ДКА.
- Прямое произведение ДКА.
- Динамическое программирование по ДКА.