Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования

Федеральное государственное бюджетное образовательное учреждение
высшего профессионального образования
«Саратовский государственный технический университет имени Гагарина Ю.А.»
Кафедра «Информационная безопасность автоматизированных систем»
АННОТАЦИЯ К РАБОЧЕЙ ПРОГРАММЕ
по дисциплине
«СД.04 Теория языков программирования и методы трансляции»
направления подготовки
230100 Информатика и вычислительная техника»
по специальности
230105 «Программное обеспечение вычислительной техники и
автоматизированных систем»
форма обучения – дневная
курс – 4
семестр – 7
часов в неделю – 5
всего часов – 145,
в том числе:
лекции – 51
коллоквиумы – нет
практические занятия – нет
лабораторные занятия – 34
самостоятельная работа – 60
зачет – нет
экзамен – 7 семестр
РГР – нет
курсовая работа – нет
курсовой проект – 7 семестр
Рабочая программа обсуждена на заседании кафедры ИБС
«28» августа 2013 года, протокол № 1
Зав. кафедрой _____________/В.Б. Байбурин/
Рабочая программа утверждена на заседании УМКС/УМКН
«03» сентября 2013 года, протокол № 1
Председатель УМКС/УМКН _______/ В.Б. Байбурин /
Саратов 2013
1. Цели и задачи дисциплины
Цель преподавания дисциплины: Ознакомить и научить студентов
основам теории языков программирования. Научить студентов основным
методам построения трансляторов с алгоритмических языков. Рассмотреть
формальные модели и методы трансляции.
Задачи изучения дисциплины: Ознакомить и научить студентов
основам теории языков программирования. Научить студентов основным
методам построения трансляторов с алгоритмических языков. Рассмотреть
формальные модели и методы трансляции.
2. Требования к знаниям и умениям студентов по дисциплине
Студент должен знать: алгоритмические языки программирования высокого
уровня, описание языков программирования с помощью формальных
грамматик, классификацию и свойства формальных грамматик, конечные и
магазинные автоматы. Нисходящие и восходящие методы построения
трансляторов, трансляционные и атрибутивные грамматики.
Студент должен уметь: проводить лексический, синтаксический и
семантический контроль ошибок программирования с помощью формальных
методов. Уметь использовать методы генерации объектной программы и
машинного кода.
Студент должен владеть: методами построения лексических анализаторов с
применением аппарата конечных автоматов, методами построения
синтаксических анализаторов с применением аппарата магазинных
автоматов. Владеть методами построения магазинных преобразователей.
3 Распределение времени по темам и видам занятий
1 1-3
1 4-6
1
7-9
1 Основные понятия и определения. Способы 20
описания языков программирования.
Формальные языки и грамматики.
Классификация языков по Хомскому.
2 Схемы работы трансляторов. Неформальные 26
методы лексического и синтаксического
анализа.
3 Формализация конструирования
26
лексических и синтаксических анализаторов.
Регулярные языки и конечные автоматы.
Магазинные автоматы.
Сам. работа
Практические
занятия
Лабораторные
занятия
Лекции
Наименование темы
Всего часов
№ темы
№ недели
№ модуля
Часы
4
6
10
10
6
10
10
6
10
- 10-12
-
-
4 Синтаксический анализ. КС-грамматики и
26
магазинные автоматы. Детерминированный
синтаксический анализ.
5 Семантический анализ и синтез
26
объектной программы.
Синтаксически управляемые
трансляции
6 Методы генерации машинного
21
кода. Перспективы развития языков
и трансляторов.
Итого
145
10
6
10
10
6
10
7
4
10
51
34
60