WWW.PDF.KNIGI-X.RU
БЕСПЛАТНАЯ  ИНТЕРНЕТ  БИБЛИОТЕКА - Разные материалы
 

«ТеореТические основы разрабоТки и реализации языков программирования Под редакцией проф. А.Н. Иванченко Допущено Министерством образования ...»

М.М.Гавриков,А.Н.Иванченко,

Д.В.Гринченков

ТеореТические основы

разрабоТки и реализации

языков программирования

Под редакцией проф. А.Н. Иванченко

Допущено Министерством образования Российской Федерации

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

для студентов высших учебных заведений, обучающихся

по специальности «Программное обеспечение

вычислительной техники и автоматизированных систем»

направления подготовки дипломированных специалистов

«Информатика и вычислительная техника»

УДК 681.3(075.8) ББК 32.973я73 Г23

Рецензенты:

Н. Б. Толпинская, доц. кафедры ПОВТ и АС Донского государственного технического университета, канд. техн. наук, Ю. М. Вишняков, проф. кафедры «Математическое обеспечение и применения ЭВМ», д-р техн. наук Гавриков М. М.

Г23 Теоретические основы разработки и реализации языков программирования : учебное пособие / М.М. Гавриков, А.Н. Иванченко, Д.В. Гринченков; под ред. А.Н. Иванченко. — М. : КНОРУС, 2010. — 184 с.

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

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

УДК 681.3(075.8) ББК 32.973я73 Гавриков Михаил Михайлович Иванченко Александр Николаевич Гринченков Дмитрий Валерьевич

ТЕОРЕТИЧЕСКИЕ ОСНОВЫ РАЗРАБОТКИ И РЕАЛИЗАЦИИ

ЯЗЫКОВ ПРОГРАММИРОВАНИЯ

Санитарно-эпидемиологическое заключение № 77.99.60.953.Д.003365.04.09 от 01.04.2009 г.

Изд. № 1747. Подписано в печать 08.09.2009. Формат 6090/16.

Гарнитура «NewtonC». Печать офсетная.

Усл. печ. л. 11,5. Уч.-изд. л. 10,0. Тираж 2000 экз. Заказ № ООО «Издательство КноРус».

129110, Москва, ул. Большая Переяславская, 46, стр. 7.

Тел.: (495) 680-7254, 680-0671, 680-1278.

E-mail: office@knorus.ru http://www.knorus.ru Отпечатано в ГУП «Брянское областное полиграфическое объединение».

241019, г. Брянск, пр-т Ст. Димитрова, 40.

© Гавриков М.М., Иванченко А.Н., Гринченков Д.В., 2010 © ЗАО «

–  –  –

Изучение теории и освоение методологии разработки языков программирования и построения трансляторов — важнейшие составляющие в профессиональной подготовке специалистов в области программного обеспечения. С середины 80-x гг. XX в. в нашей стране почти не выпускалось научной и учебной литературы по этой тематике, доступной широкому кругу читателей, а вышедшее ранее издание известных авторов (А. Ахо и Дж. Ульман [1, 2], Д. Грис [4], Р. Хантер [5] и др.) стало библиографической редкостью даже для библиотек технических вузов. В последние 10 лет опубликовано немало новых книг отечественных и зарубежных авторов. Среди них — фундаментальная монография А. Ахо, М. Лам, Р. Сети и Дж. Ульмана [3], которую можно рассматривать как блестящий образец справочного руководства по разработке компиляторов. Материал этой книги может использоваться как читателями, только приступающими к изучению данной области, так и специалистами-практиками. Однако стиль изложения, формат и, главное, объем книги (1184 с.) представляют некоторые сложности в использовании ее в качестве учебника.

Все это побудило авторов к созданию настоящего пособия, цели которого состоят в следующем:

— краткое, но систематическое изложение методологии, инструментов и технологий разработки языков программирования и построения трансляторов;

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

— изложение методик и формальных методов синтеза основных элементов трансляторов;

— иллюстрация применения излагаемых методов путем их проецирования на реальные задачи, связанные с разработкой и реализацией как универсальных, так и проблемно-ориентированных языков программирования.

Материал учебного пособия в значительной степени превосходит содержание требований государственного образовательного стандарта к дисциплине «Теория языков программирования и методы трансляции» специальности «Программное обеспечение вычислительной техники и автоматизированных систем».

6 • Предисловие Отличия настоящего учебного пособия от других, посвященных этой тематике, носят методологический и структурный характер.

Во многих книгах методология разработки языков программирования и сам язык как объект разработки и исследования (свойства классов грамматик и языков, соотношения между ними, инвариантность некоторых классов грамматик к методам синтаксического анализа и др.) затмеваются изложением методов построения элементов трансляторов. На практике процессы разработки языка и построения транслятора действительно тесно связаны. В то же время наш опыт преподавания вышеупомянутой и родственных дисциплин показывает, что слабым местом в знаниях и представлениях студентов являются именно вопросы разработки языков. Это обусловлено еще и тем, что большую часть методов и алгоритмов формального синтеза элементов транслятора можно программно реализовать и интегрировать в систему (или, по крайней мере, в среду) построения трансляторов, с чем они успешно справляются. Разработка и исследование нового языка (например, проблемно-ориентированного), а не использование подмножеств известных языков, требует значительных аналитических усилий.

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

Теоретический материал пособия почти целиком опирается на фундаментальную, получившую всеобщее признание монографию А. Ахо и Дж. Ульмана [1, 2]. Это, как нам представляется, позволило выдержать единые стиль, терминологию и систему обозначений и обеспечить достаточно высокий научный уровень представления материала.

Изложенный в пособии материал апробирован на лекционных, практических и лабораторных занятиях по курсам «Конструирование компиляторов», «Лингвистическое обеспечение САПР» и «Теория языков программирования и методы трансляции», которые в течение ряда лет преподаются авторами на кафедре «Программное обеспечение вычислительной техники» Южно-Российского государственного технического университета (Новочеркасского политехнического института).

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

Авторы выражают благодарность своим коллегам и студентам за помощь в отладке примеров программ и подготовке рукописи.

Все замечания и предложения по содержанию учебного пособия можно направлять по адресу: 346428, г. Новочеркасск Ростовской обл., ул. Просвещения, д. 132, ЮРГТУ (НПИ).

Авторы



Похожие работы:

«ДОКЛАДЫ БГУИР № 1 (17) ЯНВАРЬ–МАРТ УДК 681.325 МЕТОДЫ ОЦЕНКИ РАССЕИВАЕМОЙ МОЩНОСТИ В ЦИФРОВЫХ КМОП СХЕМАХ И.А. МУРАШКО Белорусский государственный университет информатики и радиоэлектроники П. Бровки, 6, Минск, 220013, Беларусь Поступила в редакцию 30 ноября 2006 Широкое распространение портативных устройств привело к тому, что одним и...»

«ВЕСТНИК ТОМСКОГО ГОСУДАРСТВЕННОГО УНИВЕРСИТЕТА 2013 Управление, вычислительная техника и информатика № 2(23) УДК 519.2 В.Б. Бериков КОЛЛЕКТИВ АЛГОРИТМОВ С ВЕСАМИ В КЛАСТЕРНОМ АНАЛИЗЕ РАЗНОРОДНЫХ ДАННЫХ1 Для кластерного анализа разнородных данных предложен метод построения коллективного решения с у...»

«Second International Conference Cluster Computing CC 2013 (Ukraine, Lviv, June 3-5, 2013) _ Мультиагентные технологии управления ресурсами в распределенных вычислительных средах А.В. Прохоров, Е.М. Пахнина Национальный аэрокосмиче...»

«Министерство образования Республики Беларусь Учреждение образования «БЕЛОРУССКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ИНФОРМАТИКИ И РАДИОЭЛЕКТРОНИКИ» УТВЕРЖДАЮ Проректор по учебной и воспитательной работе _С.К. Дик «30» _05 2016 г. ПРОГРАММА всту...»

«Федеральное агентство связи Государственное образовательное учреждение высшего профессионального образования «Поволжский государственный университет телекоммуникаций и информатики» Факультет базового...»

«Федеральное архивное агентство (Росархив) Федеральное бюджетное учреждение Всероссийский научно-исследовательский институт документоведения и архивного дела (ВНИИДАД) КОНЦЕПЦИЯ ИНФОРМАТИЗАЦИИ (АВТОМАТИЗАЦИИ) ДЕЯТЕЛЬНОСТИ ГОСУДАРСТВЕННОГО АРХИВА Москва Страница 2 Концепция информатизации (автоматизации) деятельнос...»

«Министерство образования Республики Беларусь Учреждение образования «Белорусский государственный университет информатики и радиоэлектроники» Кафедра информатики О.И. Костюкова ИССЛЕДОВАНИЕ ОПЕРАЦИЙ Учебное пособие для студентов специальности 31 03 04 «Информатика» всех форм обучения Минск 2003 УДК 519.854.3(519.8...»

«Министерство образования Республики Беларусь Учреждение образования «БЕЛОРУССКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ИНФОРМАТИКИ И РАДИОЭЛЕКТРОНИКИ» Кафедра систем телекоммуникаций П.А.КАПУРО, А.П.ТКАЧЕНКО Электронный учебно-методический компле...»

««УТВЕРЖДАЮ» Декан факультета информатики Э.И. Коломиец _2016 г. ПРОГРАММА ВСТУПИТЕЛЬНЫХ ИСПЫТАНИЙ В МАГИСТРАТУРУ ПО НАПРАВЛЕНИЮ ПОДГОТОВКИ 01.04.02 ПРИКЛАДНАЯ МАТЕМАТИКА И ИНФОРМАТИКА В 2017 ГОДУ Раздел «Математический анализ»1. Достаточные условия сходимости тригонометрического ряда Фурь...»

«Программа внеурочной деятельности по информатике и ИКТ «Путешествие в Компьютерную Долину» А.Г. Паутова Целью программы внеурочной деятельности по информатике и ИКТ «Путешествие в Компьютерную Долину» является информационная поддержка проектной деятельности учащихся по всем предметам школьного курса и раз...»





















 
2017 www.pdf.knigi-x.ru - «Бесплатная электронная библиотека - разные матриалы»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.