Формальные языки, 5 курс, 2 семестр, 2016/17
Материал из SEWiki
Версия от 20:19, 17 февраля 2017; Darnley (обсуждение | вклад)
Лектор — Дворкин Михаил Эдуардович, mikhail.dvorkin@gmail.com
Практика — Михаил Слабодкин, Екатерина Вербицкая
Содержание
Лекции
Лекция 1
- Языки и yes/no-задачи. Теоретико-множественное доказательство невозможности описания языков.
- Детерминированные конечные автоматы. Принятие слова.
- Эквивалентность состояний. Минимизация ДКА.