Формальные языки и трансляции (осень 2013: ФИВТ МФТИ, 2-й курс, группы 295, 296, 297)

• Программа курса.
• Конспекты некоторых лекций (лектор — А. А. Сорокин):
  • «Алгоритм Эрли»;
  • «LR-анализаторы и LR-алгоритм разбора»;
  • «Конечные преобразователи, часть 2».
• Теоретические задачи.
• Практикум № 2: построение синтаксического анализатора при помощи YACC/Bison. Задача состоит в создании либо интерпретатора заданного языка программирования, либо транслятора из этого языка в трёхадресный код.
  • Тривиальный пример (интерпретатор Basic-подобного языка).
  • Трёхадресный код: описание, интерпретатор.
  • Описания синтаксиса языков: StaticJava; LOLCODE; SimplePascal; Fortran.