|
Лингвистические основы информатики
Занятия на дневном, группы ИС78-1..4 с 01.09.02 до 08.12.02.
с 09.12.02 начинается зачетная неделя
Список лабораторных работ
- Генерация языка по грамматике (генерационные или продукционные грамматики)
- Проверка принадлежности множества из нескольких слов языку,
определенному грамматикой (редукционные грамматики)
- Перевод грамматик в БНФ (Бэкуса-Наура форму) и в синтаксические диаграммы
- Создать грамматику, генерирующую 5-10 слов естественного языка,
рекомендуется английский, записать вывод в виде синтаксических
деревьев (не менее 5 примеров вывода слов естественного языка)
- Генерация фраз на упрощенном естественном языке по заданной
грамматике (Хомского) (синтаксические деревья для фраз, по Бауэру)
- Изучение словарного состава текста с помощью программы Lingvo и построение упрощенной грамматики текста (дополнительная)
- Преобразование автоматной грамматики в конечный автомат (дополнительная)
- Работа с программой генерации английских фраз (дополнительная)
- Работа с переводчиком (дополнительная)
- Работа с электронным словарем (дополнительная)
- Работа с языковой обучающей системой (дополнительная)
- Разработка программы на языке HTML (дополнительная)
- Распознающие грамматики (дополнительная)
- Вероятностные грамматики (дополнительная)
Примерный список вопросов к зачету и/или экзамену
- Множества
- Формальные языки и грамматики
- Классификация формальных грамматик по Хомскому
- Распознающие грамматики (редукционная форма)
- Скобочная и бесскобочные формы записи (префиксная, инфиксная и постфиксная) (польская форма)
- Формы Бэкуса-Наура и синтаксические диаграммы
- Синтаксические деревья
- Перевод грамматики в эпсилон-свободную форму
- Вывод грамматики по подмножеству слов языка (по Ту, с.373)
- Формальная грамматика естественного языка (на примере английского; по Бауэру, с.379)
- Языки искусственные и естественные
- Классификация языков программирования
- Логические языки и исчисления (высказываний и предикатов)
- Логические языки программирования (Пролог, ЛИСП)
- Транслятор: определение, классификация, примеры. Основные
характеристики трансляторов и классификация.
- Компилятор: определение, классификация, примеры.
- Интерпретатор: определение, классификация, примеры.
- Автоматы конечные и магазинные
- Вероятностные грамматики
- Машина Кирдина (по работам Горбуновой Е.)
- Языки программирования параллельных систем (Оккам, Фортран-90 и др.)
- Языки программирования для Интернет (HTML, Java, JavaScript, PHP и др.)
- Типы данных в языках программирования
- Перевод и переводчики (доп.)
- Словари, книги и электронные (доп.)
- Языковые АОС (доп.)
- Семантики (доп.)
Литература
- Рейуорд-Смит В.Дж. Теория формальных языков. Вводный курс: Пер. с англ. - М.: Радио и связь, 1988. - 128 с.
- Кузин Л.Т. Основы кибернетики: В 2-х т. Т.2. Основы кибернетических моделей. Учеб. пособие для вузов. - М.: Энергия, 1979.- 584 с.
- Гросс М., Лантен А. Теория формальных грамматик. М.: Мир, 1971. - 296 с.
- Кузнецов О.П. и др. Дискретная математика для инженера. М., 1988.- 480 с.
- Горбатов В.А. Основы дискретной математики: Учебное пособие для студентов вузов. М.: Высшая школа, 1986.- 311 с.
- Донован Дж. Системное программирование. М.: Мир, 1975
- Льюис Ф., Розенкранц Д., Стирнз Р. Теоретические основы проектирования компиляторов. М.: Мир, 1979.
- Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. Том 1 "Синтаксический анализ". М.: Мир, 1978
- Axo A., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. Том 2 "Компиляция". М.: Мир, 1978
- Брой М. Информатика. Теоретическая информатика, алгоритмы и структуры данных, логическое программирование, объектная ориентация: В 4-х чч. Ч.4. М.: Диалог-МИФИ, 1998.- 224 с.
- Бауэр Ф., Гооз Г. Информатика. Т.2
- Методы нейроинформатики: Сб.научн. трудов / Под ред. А.Н.Горбаня. Красноярск: КГТУ, 1998.- 204 с.
19.11.2002
|
