ФОРМАЛЬНЫЕ МЕТОДЫ ОПИСАНИЯ ПЕРЕВОДА / TITUL
.RTFМинистерство образования РФ
Санкт-Петербургский государственный электротехнический университет “ЛЭТИ”
______________________________________________________
Э. А. Опалева В. П. Самойленко О. Н. Семенова
ФОРМАЛЬНЫЕ МЕТОДЫ ОПИСАНИЯ ПЕРЕВОДА
Санкт-Петербург
Издательство СПбГЭТУ “ЛЭТИ”
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