Методичка: Формальные грамматики и языки. Элементы теории трансляции. Скачать бесплатно и без регистрации

⚡⚡⚡ ПОДРОБНЕЕ ЖМИТЕ ЗДЕСЬ 👈🏻👈🏻👈🏻

Формальные грамматики (ФГ) и языки (Я) - это два основных раздела в теоретической грамматике. В формальных грамматиках изучаются синтаксические свойства формальных языков, в которых грамматика описывает, какие слова являются членами данного языка и какими способами. Для формальных языков существуют специальные обозначения, которые используются для представления языков. Эти обозначения называются грамматиками (грамматики могут быть как простыми, так и сложными).
В пособии рассматривается формальное определение формальной грамматики, рассматриваются основные понятия теории формальных грамматик (законы, правила вывода, грамматические аксиомы), а также элементы теории трансляции, т.е. способы преобразования формальных грамматик в другие грамматики. Пособие предназначено для студентов, изучающих теорию формальных языков, а также для аспирантов, интересующихся этой тематикой.
Формальные грамматики
и языки
.
Элементы теории трансляции
ВВЕДЕНИЕ
Для формальной грамматики (ФГ) необходимо определить правила вывода, которые выполняются в случае, если в качестве вывода выступает грамматическая основа, то есть предложение, выраженное грамматикой.
1. Грамматическая основа.
2. Простые предложения.
3. Грамматические конструкции.
4. Построение предложения по правилам грамматики.
5. Рекурсия.
6. Лексико-грамматические значения.
7. Лексические единицы.

Формальные грамматики являются одним из основных понятий теории автоматов. Они позволяют проводить анализ формальных языков и конструировать их автоматы-генераторы. Формальные грамматик.я строятся по принципу "конструкции-из-атомов". Атомы - это объекты произвольной структуры. В качестве атомов могут выступать, например, слова естественного языка. Формальная грамматика состоит из набора правил (формальных законов), которые определяют преобразование атому.
В книге приводится классификация формальных грамматик, даются основы теории их построения. Излагаются основные понятия теории трансляции, рассматриваются наиболее важные классы языков, в частности, классы языков с бесконечными и конечными грамматиками, а также классы, порождаемые формальными грамматиками.
Формальные грамматики, языки и системы.
Элементы теории трансляции

В настоящей работе предлагается обобщение теории формальных грамматик на случай языков с произвольным порядком вывода. Для этого вводится понятие формальной системы, которое позволяет рассматривать в качестве модели грамматики любые подсистемы, реализующие функции вывода, и, кроме того, дает возможность описывать грамматики, не имеющие конечных моделей. В результате анализа формальных систем рассматриваются способы описания формальных языков, а также способы установления их эквивалентности.
В работе рассматривается формальная грамматика, состоящая из набора правил и двух видов правил - основных и вспомогательных. Вспомогательные правила определяют синтаксические правила, а основные определяют семантические правила. На основе теоремы о синтаксической редукции для формальной грамматики доказывается теорема об эквивалентности формальных грамматик с одинаковыми синтаксическими правилами, но разными семантическими правилами. Рассмотрим пример.
Формальные грамматики
и языки
Элементы теории трансляции
А. И. Поляков
Москва
2002
УДК 519.831
Поляков А.И. Формальные грамматики, языки и трансляторы.
Элементы теории трансляций. — М.: Физматлит, 2002.
— 288 с.

Формальные грамматики
и языки.
Элементы теории трансляции
Введение

Контрольная Работа На Тему Развитие Психических Процессов В Дошкольном Возрасте
Дипломная Работа На Тему Совершенствование Системы Менеджмента Качества На Промышленном Предприятии (На Примере Сп "Фребор")
Курсовая Работа На Тему Прояв Вулканізму В Геологічному Минулому