Формальные языки, 5 курс, 2 семестр, 2016/17 — различия между версиями
Материал из SEWiki
(→Практика Вербицкая) |
|||
Строка 32: | Строка 32: | ||
[[Медиа:FL_S_4.pdf|Практика 4]] | [[Медиа:FL_S_4.pdf|Практика 4]] | ||
+ | |||
+ | [[Медиа:FL_S_5.pdf|Практика 5]] | ||
== Практика Вербицкая == | == Практика Вербицкая == | ||
Строка 44: | Строка 46: | ||
[[Медиа:FL_V_4.pdf|Практика 4]] | [[Медиа:FL_V_4.pdf|Практика 4]] | ||
+ | |||
+ | [[Медиа:FL_V_5.pdf|Практика 5]] | ||
== Ссылки == | == Ссылки == |
Версия 14:38, 29 марта 2017
Лектор — Дворкин Михаил Эдуардович, mikhail.dvorkin@gmail.com
Практика — Михаил Слабодкин (slabodkinm@gmail.com), Екатерина Вербицкая
Содержание
Лекции
Лекция 1
- Языки и yes/no-задачи. Теоретико-множественное доказательство невозможности описания языков.
- Детерминированные конечные автоматы. Принятие слова.
- Эквивалентность состояний. Минимизация ДКА.
Лекция 2
- Правые контексты.
- Эквивалентность ДКА.
- Прямое произведение ДКА.
- Динамическое программирование по ДКА.
Лекция 3
- Академические регулярные выражения.
- Теорема Клини — эквивалентность КА и АРВ.
Лекция 4
- Операции над языками. Свойства регулярных языков.
- Лемма о разрастании.