Системное программное обеспечение

Вид материала

Документы

Подобный материал:

• Методика рейтингового контроля знаний студентов по дисциплине «Системное программное, 42.76kb.
• Методические указания по выполнению курсовых работ по дисциплине «Системное программное, 710.3kb.
• М. В. Ломоносова Факультет вычислительной математики и кибернетики Н. В. Вдовикина,, 2124.49kb.
• Рабочая учебная программа по дисциплине «Системное программное обеспечение» Направление, 78.8kb.
• Методические указания и контрольные задания по дисциплине системное программное обеспечение, 196.97kb.
• Программа вступительного экзамена, 67.56kb.
• Программное обеспечение ЭВМ, 209.59kb.
• Системное программное обеспечение, 874.72kb.
• Задания для студентов гр. Пз-21 Составил: к ф. м н. Цветков, 170.59kb.
• Системное программное обеспечение, 946.88kb.

Краткая аннотация курса

Системное программное обеспечение

1. Структура и состав системного программного обеспечения. Формальные языки и грамматики. Основные понятия и определения.
   
2. Способы задания схем грамматик: форма Бэкуса-Наура; итерационная форма; синтаксические диаграммы. Классификация грамматик и языков по Хомскому. Соотношения между типами грамматик и языков. Примеры грамматик и языков.
   
3. Построение грамматик и грамматики, описывающие основные конструкции языков программирования (описание списков, целых чисел без знака и идентификаторов, арифметических выражений, последовательности операторов присваивания, условных операторов и операторов цикла). Рекомендации по построению грамматик.
   
4. Конечные автоматы (КА). Автоматные грамматики. Конечные автоматы. Детерминированные и недетерминированные КА. Алгоритм построения детерминированного КА по НКА. Минимизация КА.
   
5. Регулярные множества и регулярные выражения (РВ). Определение регулярного множества. Регулярные выражения. Свойства РВ. Взаимосвязь регулярных множеств, регулярных грамматик и конечных автоматов. Три способа задания регулярных языков. Построение КА по грамматике.
   
6. Связь регулярных выражений и регулярных грамматик. Связь регулярных выражений и конечных автоматов. Связь регулярных грамматик и конечных автоматов. Построение конечного автомата на основе леволинейной грамматики. Построение леволинейной грамматики на основе конечного автомата. Пример построения конечного автомата на основе задания грамматики. Свойства регулярных языков. Лемма о разрастании для регулярных языков.
   
7. Автоматы с магазинной памятью (МП-автоматы). Конечные автоматы с магазинной памятью. Работа магазинного автомата. Язык, допускаемый магазинным автоматом. Построение магазинного автомата, пример. Распознавание цепочек с помощью МП-автоматов. Свойства КС-языков. Лемма о разрастании для КС-языков.
   
8. Преобразования КС-грамматик. Нормальные формы грамматик. Приведенные грамматики. Преобразования грамматик. Удаление бесплодных и недостижимых символов. Удаление -правил и цепных правил. Устранение левой рекурсии. Нормальная форма Хомского. Алгоритм преобразования грамматики в нормальную форму Хомского. Грамматики в нормальной форме Грейбах.
   
9. Универсальные алгоритмы разбора. Принципы работы распознавателей с возвратом. Алгоритмы разбора с возвратами. Нисходящий распознаватель с возвратом. Распознаватель на основе алгоритма «сдвиг-свертка». Табличные распознаватели. Алгоритмы Кока-Янгера-Касами и Эрли. Метод рекурсивного спуска. О применимости метода рекурсивного спуска.
   
10. Алгоритмы разбора частного вида. Принципы построения распознавателей КС-языков без возвратов. LLk)-грамматики. Алгоритм разбора для LL(k)-грамматик. Построение множеств FIRST(k) и FOLLOW(k). LR(k)-грамматики.
    
11. Алгоритм разбора для LR(k)-грамматик. Восходящие Распознаватели КС-языков без возвратов. Принципы построения Распознавателей для LR(k)-грамматик. Грамматики простого предшествования. Грамматики операторного предшествования. Иерархия классов КС-языков.
    
12. Элементы теории трансляции. Трансляторы, компиляторы, интерпретаторы. Определения и назначение. Способы задания языков. Общая схема работы транслятора. Понятие прохода. Схема работы компилятора. Многопроходные и однопроходные компиляторы. Интерпретаторы, особенности их построения и работы. Ассемблеры. Трансляторы с языка ассемблера. Способы задания языков. Вопросы, решаемые при задании языка программирования.
    
13. Лексические анализаторы (сканеры). Задачи лексического анализа. Лексемы. Сканеры. Методы построения сканеров. Таблицы идентификаторов, символов и их организация. Методы организации таблиц символов (бинарные деревья, хэш-функции, цепочки и др.). Методы поиска в таблицах.
    
14. Синтаксический анализ. Назначение синтаксического анализа. Задачи, решаемые синтаксическим анализатором. Взаимосвязь с лексическим анализатором. Понятие прохода.
    
15. Семантический анализ. Контекстные условия языков программирования. Задачи, решаемые семантическим анализатором. Обработка описаний. Контроль контекстных условий в операторах. Распределение памяти. Идентификация переменных. Память для типов данных.
    
16. Генерация внутреннего представления программ. Назначение этапа. Внутреннее представление программы в виде дерева операций. Польская инверсная запись (ПОЛИЗ). Преобразование дерева операций в ассемблерный код и триады.
    
17. Синтаксически-управляемый перевод. Обратная польская запись. Использование СУ-перевода для перевода выражений в польскую запись. Генератор внутреннего представления программы на модельном языке. Вычисление выражений в обратной польской записи. Интерпретатор ПОЛИЗа для модельного языка. Оптимизация кода.