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

Материал из SEWiki
Перейти к: навигация, поиск
Строка 1: Строка 1:
 
Лектор — Дворкин Михаил Эдуардович, mikhail.dvorkin@gmail.com
 
Лектор — Дворкин Михаил Эдуардович, mikhail.dvorkin@gmail.com
  
Практика — Михаил Слабодкин, Екатерина Вербицкая
+
Практика — Михаил Слабодкин (slabodkinm@gmail.com), Екатерина Вербицкая
  
 
== Лекции ==
 
== Лекции ==
Строка 12: Строка 12:
 
== Практика Слабодкин ==
 
== Практика Слабодкин ==
  
 +
[https://docs.google.com/spreadsheets/d/1zu2aoCWlkwGyPoKVF9TpeHUlbfNNFhrNZ9LLdBsMsf4/edit?usp=sharing Таблица с результатами]
  
 
== Практика Вербицкая ==
 
== Практика Вербицкая ==

Версия 18:01, 18 февраля 2017

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

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

Лекции

Лекция 1

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

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

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

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

Ссылки

  • Важная книга: Хопкрофт, Мотвани, Ульман. Введение в теорию автоматов, языков и вычислений.
  • [1]
  • [2]
  • [3]
  • [4]