Формальные языки, 5 курс, 2 семестр, 2016/17 — различия между версиями

Материал из SEWiki
Перейти к: навигация, поиск
(→‎Ссылки)
Строка 23: Строка 23:
 
* [http://www.eecs.wsu.edu/~ananth/CptS317/]
 
* [http://www.eecs.wsu.edu/~ananth/CptS317/]
 
* [http://users.utu.fi/jkari/automata/fullnotes.pdf]
 
* [http://users.utu.fi/jkari/automata/fullnotes.pdf]
 +
* [http://yeputons.net/spbau/term4/formal_languages-lectures.pdf]

Версия 17:59, 28 февраля 2017

Лектор — Дворкин Михаил Эдуардович, mikhail.dvorkin@gmail.com

Практика — Михаил Слабодкин (slabodkinm@gmail.com), Екатерина Вербицкая

Лекции

Лекция 1

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

Практика Слабодкин

Таблица с результатами

Практика Вербицкая

Ссылки

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