Теория автоматов и формальных языков, осень 2012

Новости

Опубликован предварительный список вопросов к экзамену.

Задания на допуск

• Моделирование недетерминированного конечного автомата. См задание 1.
  • Задача заменена на минимизацию ДКА. (задание будет опубликовано)
• Построить генератор табличных LL(1) анализаторов. См задание 3.

Дополнительные задания

• Проверка эквивалентности ДКА. См задание 2.
• Привести грамматику к нормальной форме Хомского. См задание 4.

Требования к оформлению заданий

• email на victorp@math.spbu.ru
• "[formlang]" в поле subject (+ задание или тема письма)
• тело письма в соответствии с сетикетом: http://www.ietf.org/rfc/rfc1855.txt
• в аттаче - архив с исходными кодами программ
• в корне архива
  • для Java - build.xml, понимаемый инструментом Apache ant, порождающий в этой же папке запускающийся jar
  • для C# - все .cs файлы. Компляция - csc /out:a.exe *.cs
  • для C/C++ - *.c или *.cpp. Будут компилироваться gcc: gcc -I. -Wall
• тесты для задания

Слайды

искать тут

Успеваемость