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

Материал из SEWiki
Перейти к: навигация, поиск
(добавил email slabodkinm@gmail.com)
(→‎К занятиям Николая Карпова)
Строка 17: Строка 17:
 
== К занятиям Николая Карпова ==
 
== К занятиям Николая Карпова ==
  
−
[https://drive.google.com/folderview?id=0B9NF86zbFMKkQlBDUHpLZDI0eHM&usp=sharing Листки].
+
[https://drive.google.com/folderview?id=0B9NF86zbFMKkQlBDUHpLZDI0eHM&usp=sharing Все материалы и табличка].
 +
 
 +
[https://docs.google.com/spreadsheets/d/1_JhH9h8_k57iw3BEFnlMmK3sfSITwDWVOvlerSA5Wlk/edit?usp=drive_web Таблица с результатами]
 +
 
 +
=== Домашние задания ===
 +
Осторожно, теоретически могут быть ссылки на старые версии - актуальные ищите в разделе "Все материалы и табличка" выше.
 +
 
 +
{| border="1" cellspacing="0" cellpadding="3"
 +
 
 +
|-
 +
!№
 +
!Дата
 +
 
 +
|-
 +
!1
 +
|align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkMzRQQ09uQmVsbWc/view На 19.02.2016]
 +
 
 +
|-
 +
!2
 +
|align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkWXA5UnE2Xy1uczQ/view На 26.02.2016]
 +
 
 +
|-
 +
!3
 +
|align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkZy1QY3dVZEhXbzg/view На 04.03.2016]
 +
 
 +
|-
 +
!4
 +
|align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkQkl1cUZuZ0FGUm8/view На 11.03.2016]
 +
 
 +
|-
 +
!5
 +
|align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkMFBKQmJBa25BYTQ/view На 18.03.2016]
 +
 
 +
|-
 +
!6
 +
|align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkZEFUMjRrVVRBTms/view На 25.03.2016]
 +
 
 +
|-
 +
!7
 +
|align=center|[https://drive.google.com/file/d/0B9NF86zbFMKkaEVFZ2JxazY4bkE/view На 01.04.2016]
 +
 
 +
|}
  
 
== К занятиям Михаила Слабодкина ==
 
== К занятиям Михаила Слабодкина ==

Версия 22:30, 31 марта 2016

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

Практика: Николай Карпов (I подгруппа), Михаил Слабодкин (slabodkinm@gmail.com) (II подгруппа).

План

Лекция 1

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

Лекция 2

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

К занятиям Николая Карпова

Все материалы и табличка.

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

Домашние задания

Осторожно, теоретически могут быть ссылки на старые версии - актуальные ищите в разделе "Все материалы и табличка" выше.

№ Дата
1 На 19.02.2016
2 На 26.02.2016
3 На 04.03.2016
4 На 11.03.2016
5 На 18.03.2016
6 На 25.03.2016
7 На 01.04.2016

К занятиям Михаила Слабодкина

Результаты

Ссылки

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