Формальные языки, 5 курс, 2 семестр, 2016/17 — различия между версиями
Материал из SEWiki
(Новая страница: «Лектор — Дворкин Михаил Эдуардович Практика — Михаил Слабодкин, Екатерина Вербицкая ==…») |
Darnley (обсуждение | вклад) |
||
| Строка 1: | Строка 1: | ||
| − | Лектор — Дворкин Михаил Эдуардович | + | Лектор — Дворкин Михаил Эдуардович, mikhail.dvorkin@gmail.com |
Практика — Михаил Слабодкин, Екатерина Вербицкая | Практика — Михаил Слабодкин, Екатерина Вербицкая | ||
| Строка 5: | Строка 5: | ||
== Лекции == | == Лекции == | ||
| + | Лекция 1 | ||
| + | * Языки и yes/no-задачи. Теоретико-множественное доказательство невозможности описания языков. | ||
| + | * Детерминированные конечные автоматы. Принятие слова. | ||
| + | * Эквивалентность состояний. Минимизация ДКА. | ||
== Практика Слабодкин == | == Практика Слабодкин == | ||
| Строка 10: | Строка 14: | ||
== Практика Вербицкая == | == Практика Вербицкая == | ||
| + | |||
| + | == Ссылки == | ||
| + | |||
| + | * Важная книга для первой части курса: Хопкрофт, Мотвани, Ульман. Введение в теорию автоматов, языков и вычислений. | ||
| + | * [http://neerc.ifmo.ru/wiki/index.php?title=Теория_формальных_языков] | ||
| + | * [http://www.ics.uci.edu/~goodrich/teach/cs162/notes/] | ||
| + | * [http://www.eecs.wsu.edu/~ananth/CptS317/] | ||
| + | * [http://users.utu.fi/jkari/automata/fullnotes.pdf] | ||
Версия 20:19, 17 февраля 2017
Лектор — Дворкин Михаил Эдуардович, mikhail.dvorkin@gmail.com
Практика — Михаил Слабодкин, Екатерина Вербицкая
Содержание
Лекции
Лекция 1
- Языки и yes/no-задачи. Теоретико-множественное доказательство невозможности описания языков.
- Детерминированные конечные автоматы. Принятие слова.
- Эквивалентность состояний. Минимизация ДКА.
