Topic outline

  • General

  • Программа дисциплины

    Целью преподавания курса «Теория языков программирования и методы трансляции» является ознакомление студентов с современными программными системами, развитие которых базируется на методах проектирования трансляторов и правилах формальных грамматик языков программирования.

    В результате освоения дисциплины «Теория языков программирования и методы трансляции»  формируются следующие компетенции или их составляющие

    - владение культурой мышления, способностью к обобщению, анализу, восприятию информации, постановке цели и выбору путей ее достижения (ОК-1);

    - использование основных законов естественнонаучных дисциплин в профессиональной деятельности, применение методов математического анализа и моделирования, теоретического и экспериментального исследования (ОК-10);

    - осознание сущности и значения информации в развитии современного общества; владение основными методами, способами и средствами получения, хранения, переработки информации (ОК-11);

    - наличие  навыков работы с компьютером как средством управления информацией (ОК-12);

    - осваивание  методик использования программных средств для решения практических задач (ПК-2);

    - разработка компонентов программных комплексов и баз данных, использование современных инструментальных средств и технологии программирования (ПК-5).

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

    1. Знать  особенности языков программирования (как самого языка, так и транслятора), основные модели, методы и алгоритмы теории языков программирования и методов трансляции;
    2. Владеть:

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

    -       формальными методами описания синтаксиса языка;

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

    -       формальными методами описания и реализации синтаксически управляемого перевода. 

      3. Уметь  использовать элементы трансляции при разработке прикладных программ, воспринимающих входные данные в «свободной» форме (с элементами лексики, синтаксиса, внутреннего представления данных).

    Дисциплина изучается в 6-м семестре. Общая трудоемкость дисциплины составляет 4 зачетных единицы  (144 часа). Вид итогового контроля - зачет.

    Автор рабочей программы - Салтанаева Е.А., старший преподаватель кафедры ИИУС

    Автор ЭОР -- Салтанаева Е.А., старший преподаватель кафедры ИИУС

  • Календарно-тематический план.

  • Лекции

  • Лабораторные работы.

    (не предусмотрены учебным планом)

    • Практические занятия

    • Методические рекомендации ППС к проведению лекционных, практических (семинарских) и лабораторных занятий

    • Оценочно-диагностические средства

    • Самостоятельная работа студентов

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

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

      1. Э. А. Опалева, В. П. Самойленко. Языки программирования и методы трансляции. СПб.: БХВ-Петербург, 2005. – 480 с.: ил.
      2. Пратт Т., Зелковиц М. Языки программирования: разработка и реализация. 4-е изд. - СПб.: Питер, 2002. - 688 с.: ил.
      3. Е. Н. Ишакова Теория формальных языков, грамматик и автоматов. Методические указания к лабораторному практикуму. – Оренбург: ГОУ ОГУ, 2005. – 54 с.

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

      1. Пентус А.Е. Математическая теория формальных языков. -М.: Изд-во "Интернет-университет информационных технологий - ИНТУИТ.ру", 2006. - 248 c.: ил.
      2. Хопкрофт Дж., Мотвани Р., Ульман Дж. Введение в теорию автоматов, языков и вычислений. 2-е издание. - М.: Издательский дом "Вильямс", 2002. - 528 с.
      3. Хантер Р. Основные концепции компиляторов. - М.: Издательский дом "Вильямс", 1984. - 256 с.
      4. Соколов А.П. Системы программирования: теория, методы, алгоритмы. Учебное пособие. - М.: Финансы и статистика, 2004. - 320 с.
      5. Бильгаева Н. Ц. Теория алгоритмов, формальных языков, грамматик и автоматов. Учебное пособие. Улан-Удэ: ВСГТУ, 2000
      6. И. Г. Кревский, М. Н. Селиверстов, К. В. Григорьева Формальные языки, грамматики и основы построения трансляторов: Учебное пособие / Под ред. А. М. Бершадского – Пенза: Изд-во Пенз. гос. ун-та, 2002. –124 с.
      7. А.Н. Мелихов, В. И. Кодачигов. Теория алгоритмов и формальных языков: Учебное пособие. Таганрог: ТРТУ, 2006

      • Материально-техническое обеспечение дисциплины

        Для выполнения лабораторных работ имеются компьютерные классы  (Г-314, Г-320, Г-321, Г-323, Г-324) по 9 ПЭВМ типа IBM PС, объединенных в локальную вычислительную сеть. Это позволяет студентам проводить лабораторные работы при работе на одной ЭВМ не более 2 человек.

        Имеется несколько мультимедийных проекторов.

        • Визуальные дидактические материалы

        • Глоссарий