Теория автоматов и формальных языков, осень 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
    • тесты для задания

Слайды

искать тут

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

2012.formlang