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

Материал из SEWiki
Перейти к: навигация, поиск
(добавил email slabodkinm@gmail.com, результаты практики)
Строка 18: Строка 18:
  
 
[https://docs.google.com/spreadsheets/d/1A_IpQrFM7Qf524oY79ONEvnFxu2zw8bRGx8-XEQm3Rg Результаты]
 
[https://docs.google.com/spreadsheets/d/1A_IpQrFM7Qf524oY79ONEvnFxu2zw8bRGx8-XEQm3Rg Результаты]
 +
 +
== Подгруппа Екатерины Вербицкой ==
 +
 +
[https://docs.google.com/spreadsheets/d/15YLkdBCmvZyICh9cFCclnz3iXzw_O1PZ-QuOcLo2Y7A/edit?usp=sharing_eid&invite=CL-Lgs8J&ts=56d60b0c Результаты]
  
 
== Ссылки ==
 
== Ссылки ==

Версия 08:02, 12 марта 2016

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

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

План

Лекция 1

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

Лекция 2

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

Подгруппа Михаила Слабодкина

Результаты

Подгруппа Екатерины Вербицкой

Результаты

Ссылки

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