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

Наименование дисциплины: Языки программирования и методы трансляции

Направление подготовки: 230700 Прикладная информатика

Профиль подготовки: Прикладная информатика в экономике

Квалификация (степень) выпускника: бакалавр

Форма обучения: очная

Автор: д-р физ.- мат. наук, профессор, зав. кафедрой теоретической информатики

1.Целями освоения дисциплины «Языки программирования и методы трансляции» (ЯПМТ) является: приобретение знаний и умений в соответствии с государственным образовательным стандартом, содействует фундаментализации образования, формированию системного мышления. Целью преподавания дисциплины является ознакомление слушателей с теоретическими основами построения компиляторов для языков высокого уровня, алгоритмами обработки и хранения специфической текстовой информации.

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

2.Дисциплина «Языки программирования и методы трансляции» относится к дисциплинам по выбору вариативной части цикла Б2.( математический и естественно - научный цикл).

Дисциплина «Языки программирования и методы трансляции» относится к области системного программирования, ее преподавание основывается на знаниях полученных слушателями при изучении дисциплин «Информатика и программирование», «Дискретная математика». Знания и навыки, полученные при изучении дисциплины ЯПМТ, используются слушателями при изучении специальных дисциплин и при подготовке выпускной работы.

3.В результате освоения дисциплины обучающийся должен:

Знать

основные алгоритмы анализа и преобразования регулярных и контекстно-свободных грамматик;

алгоритмы лексического, восходящего и нисходящего синтаксического анализа, генерации и оптимизации объектного кода.

Уметь

описывать исходные данные посредством грамматик;

разрабатывать и реализовывать на компьютере компилятор для языка высокого уровня типа Паскаль;

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

Владеть:

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

представлением о применении различных методов для анализа и эффективной обработки текстов программ;

представлением о способах организации хранения больших массивов данных.

4.Общая трудоёмкость дисциплины составляет 5 зачётных единиц, 180 часов.

5.Содержание дисциплины

№ п/п	Раздел дисциплины
1	Формальные языки и грамматики
2	Детерминированные и недетерминированные конечные автоматы-распознаватели
3	Регулярные грамматики и регулярные языки
4	Контекстно-свободные грамматики и языки. Нормальные формы.
5	Недетерминированные и детерминированные магазинные автоматы-распознаватели.
6	Контекстно-свободные языки и проблема грамматического разбора.

6. Учебно-методическое и информационное обеспечение дисциплины

а)основная литература:

1. Ульман Дж. Д. Теория синтаксического анализа, перевода и компиляции. - М.: Мир, 1978.- т.1.-616с.; т.2.-488с.

б)дополнительная литература:

2. Aho A. V., Sethi R., Ullman J. piles: Principles, Techniques and Tools, Standford University, Standford, California, 19p.

3. Конструирование компиляторов для цифровых вычислительных машин. - М.:Мир, 19с.

4. Рейуорт- Дж. Теория формальных языков. Вводный курс. М.: Радио и связь, 19с.

5. Соколов языки и грамматики. Курс лекций: Учебное пособие / Яросл. гос. ун-т. Ярославль, 20с.

6. , , Бадин языки и грамматики: задачи и упражнения. Учебное пособие / Ярославль: ЯрГУ, 19с.

7. Ульман Дж. Д. Принципы машинного проектирования. - М.: Мир, 19с.

8. Трансляция языков программирования.- М.: Мир, 197с.

9. , Поттосин построения трансляторов. - Новосибирск: Наука, 19с.

10. Теоретические основы проектирования компиляторов. - М.:Мир, 19с.

11. Проектирование и конструирование компиляторов. - М.: Финансы и статистика, 19с.

12. Бынон Дж. Принципы разработки программного обепечения. - М.: Мир, 1982.

13. Бекхауз языков программирования. - М.:Мир. 19с.

14. Введение в системное программирование. - М.: Мир, 1988.

15. Компилятор языка Си для микро-ЭВМ. - М.: Радио и Связь, 1989. – 239

, Молчанов программное обеспечение. - СПб., Питер, 2001.

Ульман Дж. Д. Теория синтаксического анализа, перевода и компиляции. - М.: Мир, 1978. Т.1, 616 с.; Т.2, 488 с.

Aho A., Sethi R., Ullman J. piles: Principles, Techniques and Tools, - Stanford University, Stanford, California, 1988, 796 с.

Ульман Дж. Д. Принципы машинного проектирования. - М.: Мир, 1983, 352 с.

Конструирование компиляторов для цифровых вычислительных машин. М.:Мир, 1975, 544 с.

Рейуорд- Дж. Теория формальных языков. Вводный курс. М.: Радио и связь, 1988, 128 с.

Соколов языки и грамматики: Курс лекций. Яросл. гос. ун-т. Ярославль, 1998, 123 с.

Трансляция языков программирования. - М.: Мир, 1977.

, Поттосин построения компиляторов. - Новосибирск: Наука, 1986, 344 с.

Теоретические основы проектирования компиляторов. - М.:Мир, 1979, 656 с.

Проектирование и конструирование компиляторов. - М.: Финансы и статистика, 1984, 232 с.

Бынон Дж. Принципы разработки программного обеспечения. - М.: Мир, 1982.

Бекхауз языков программирования. - М.:Мир, 1986, 281с.

Введение в системное программирование. - М.: Мир, 1988.

Компилятор языка Си для микро-ЭВМ. - М.: Радио и Связь, 1989, 239с.

Искусство программирования для ЭВМ, Т.3. - М.: Мир, 1978.

Агафонов анализ языков программирования. - Новосибирск: Изд-во НГУ, 1981.

Данные в языках программирования. - М.: Мир, 1983.

Касьянов в теорию оптимизации программ. - Новосибирск: Изд-во ВЦ СО АН СССР, 1985.

Методы программирования. Т. 1, 2. - М.: Мир, 1982.

Хорнинг Дж., Генератор компиляторов. - М.: Статистика, 1980.

Соколов , автоматы, грамматики. Методические указания. - Ярославль, 2001, 24 с.

Ульман Дж. Д. "Компиляторы. Принципы, технологии, инструменты, - М., 2001.