Формальные языки, 5 курс, весна 2016

Материал из SEWiki
Версия от 13:53, 1 марта 2016; Darnley (обсуждение | вклад) (Новая страница: «'''Лекции:''' Михаил Эдуардович Дворкин (<b>mikhail.dvorkin@gmail.com</b>) '''Практика:''' Екатерина Вербицк…»)

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск

Лекции: Михаил Эдуардович Дворкин (mikhail.dvorkin@gmail.com)

Практика: Екатерина Вербицкая, Михаил Слабодкин.

План

Лекция 1

  • Языки и yes/no-задачи. Теоретико-множественное доказательство невозможности описания языков.
  • Детерминированные конечные автоматы. Принятие слова.
  • Эквивалентность состояний. Минимизация ДКА.

Лекция 2

  • Правые контексты.
  • Эквивалентность ДКА.
  • Прямое произведение ДКА.
  • Динамическое программирование по ДКА.

Ссылки

  • Важная книга для первой части курса: Хопкрофт, Мотвани, Ульман. Введение в теорию автоматов, языков и вычислений.
  • [1]
  • [2]
  • [3]
  • [4]
Источник — «http://mit.spbau.ru/sewiki/index.php?title=Формальные_языки,_5_курс,_весна_2016&oldid=7521»