Архив‎ > ‎Осень 2012‎ > ‎

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

Новости

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

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

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

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

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

  • 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
  • тесты для задания

Слайды

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