Статистика |
|---|
Онлайн всего: 1 Гостей: 1 Пользователей: 0 |
|
Каталог файлов
В категории материалов: 19
Показано материалов: 11-19
Задания по матрицам с ответами. Разбираются студентами произвольно или по списку. |
Криволинейные интергалы
|
-
Материалы, рассматриваемые в лекционном курсе
-
Указания к выполнению лабораторных работ
-
Архивы с дополнительными материалами по трансляторам
|
Л и т е р а т у р а
1. Ахо A., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. Т. 1, "Мир", М., 1978; т.2. стр. 221- 224.
3. Б. К. Мартыненко. Теория формальных языков и трансляций. Презентация лекций (ppt).
|
Первый курс
лектор - профессор В. Б. Алексеев. составитель - А. Д. Поспелов
Московский Государственный Университет имени М. В. Ломоносова
Факультет Вычислительной Математики и Кибернетики
Кафедра Математической Кибернетики |
Информация о курсе
Курс посвящён классическому разделу математической лингвистики и теоретической информатики - теории формальных языков. Рассматриваются порождающие грамматики, регулярные выражения, конечные автоматы, автоматы с магазинной памятью.
Затронуты следующие классические темы математических основ информатики: праволинейные грамматики, конечные автоматы, регулярные выражения, контекстно-свободные грамматики, деревья разбора, нормальные формы грамматик, автоматы с магазинной памятью, детерминированные контекстно-свободные языки, синтаксический анализ, контекстные грамматики, линейно ограниченные автоматы, порождающие грамматики без ограничений, машины Тьюринга, алгоритмические проблемы, связанные с грамматиками и автоматами. Особое внимание уделено практическим способам выяснения, к какому классу в иерархии Хомского принадлежит заданный язык, методам преобразования регулярных выражений и автоматов в грамматики соответствующего класса и наоборот, а также доказательству неразрешимости проблем, связанных с контекстно-свободными грамматиками. |
"Заурядная" вещь
Цели и задачи дисциплины
В настоящее время искусственные языки, использующие для описания предметной области текстовое представление, широко применяются не только в программировании, но и в других областях. С их помощью описывается структура всевозможных документов, трехмерных виртуальных миров, графических интерфейсов пользователя и многих других объектов, используемых в моделях и в реальном мире. Для того, чтобы эти текстовые описания были корректно составлены, а затем правильно распознаны и интерпретированы, используются специальные методы их анализа и преобразования. В основе методов лежит теория языков и формальных грамматик, а также теория автоматов. Программные системы, предназначенные для анализа и интерпретации текстов, называются трансляторами.
|
Между метаязыками и формальными языками нет существенной разницы.
Лекции по теория языков
В этой лекции рассматриваются следующие темы:
- Различные способы задания языков в компиляции:
-
(Грамматики, Конечные и магазинные автоматы)
-
Соотношения между различными способами задания языков
-
Приложения этой теории в компиляции
|
|
Думаете, Вы всё знаете о числах? Почитайте классику |
|
|