Скачиваний:
10
Добавлен:
01.05.2014
Размер:
15.27 Кб
Скачать

Министерство образования РФ

Санкт-Петербургский государственный электротехнический университет “ЛЭТИ”

______________________________________________________

Э. А. Опалева В. П. Самойленко О. Н. Семенова

ФОРМАЛЬНЫЕ МЕТОДЫ ОПИСАНИЯ ПЕРЕВОДА

Санкт-Петербург

Издательство СПбГЭТУ “ЛЭТИ”

2000

Министерство образования РФ

Санкт-Петербургский государственный электротехнический университет “ЛЭТИ”

______________________________________________________

Э. А. Опалева В. П. Самойленко О. Н. Семенова

ФОРМАЛЬНЫЕ МЕТОДЫ ОПИСАНИЯ ПЕРЕВОДА

Учебное пособие

Cанкт-Петербург

Издательство СПбГЭТУ “ЛЭТИ”

2000

УДК 519.766.23:519.713.1.3

ББК 3 973.2–018.1я7

О 60

Опалева Э. А., Самойленко В. П., Семенова О. Н. Формальные методы описания перевода: Учеб. пособие. СПб.: Изд-во СПбГЭТУ “ЛЭТИ”, 2000. 64 с.

Рассматриваются формальные методы описания синтаксиса и семантики языков программирования, приводятся и анализируются наиболее часто используемые при разработке языковых процессоров формальные модели, описывающие процесс синтаксического анализа и перевода программы в промежуточный код. Изложение материала сопровождается большим числом примеров.

Предназначено для студентов специальностей 220400 и 010200 и магистров по направлениям 552800 и 510200.

Рецензенты: кафедра компьютерных технологий СПбГИТМО (ТУ); канд. техн. наук доц. А.В.Спицын (СПбГУП)

Утверждено

редакционно-издательским советом университета

в качестве учебного пособия

ISBN 5-7629-0356-7 © СПбГЭТУ “ЛЭТИ”, 2000

Соседние файлы в папке ФОРМАЛЬНЫЕ МЕТОДЫ ОПИСАНИЯ ПЕРЕВОДА