Формальные языки


Формальные языки


" Формальные языки, грамматики и автоматы"
Введение
Трансляторы , интерпретаторы и компиляторы
Стадии работы компилятора
Построение компилятора
Определение формальной грамматики и языка
Первичные понятия

Примеры, иллюстрирующие первичные понятия
Пустой язык


Термины
Типы формальных языков и грамматик
Грамматики типа 0
Грамматики типа 1
Грамматики типа 2
Грамматики типа 3

Вывод в КС-грамматиках и правила построения дерева вывода
Синтаксический разбор
Левый и правый выводы
Неоднозначные и эквивалентные грамматики
Способы задания схем грамматик
Форма Наура-Бэкуса
Итерационная форма
Синтаксические диаграммы
Резюме

Упражнение
Термины
Построение грамматик и грамматики, описывающие основные конструкции языков программирования
Рекомендации по построению грамматик
Описание списков
L>Перейти на страницу
Пример построения грамматик
Грамматики, описывающие целые числа без знака и идентификаторы

Грамматики для арифметических выражений
Грамматика для описаний
Грамматика, задающая последовательность операторов присваивания
Грамматики, описывающие условные операторы и операторы цикла

Формальные языки

Приведенные грамматики
Язык, допускаемый магазинным автоматом
Построение магазинного автомата
Пример построения автомата

Резюме
Упражнения
Определение непроизводящих символов
Определения недостижимых символов
Определения бесполезных символов
Исключение леворекурсивных правил
Исключение цепных правил

Преобразование неукорачивающих грамматик
Магазинные автоматы
Работа магазинного автомата

Формальные языки

Распознаватели и LL(K) - грамматики
Упражнения
Восходящие распознаватели

Расширенный магазинный автомат
Пример работы расширенного магазинный автомат
LR(k)-грамматики
Резюме
Упражнения
Распознавателя

Функции ПЕРВ, СЛЕД и множество ВЫБОР
Построение функции СЛЕД(B>)
Построение множества ВЫБОР
Слаборазделенные грамматики
LL( - грамматики
Построение магазинного автомата

Преобразование грамматик к виду LL(
Выделение общих частей
Выделение общих частей - 2

Формальные языки

Магазинные Преобразователи
Определение магазинного преобразователя
Описание работы магазинного преобразователя
Перевод определяемый преобразователем
Построение преобразователя

Пример построения преобразователя
Порядок построения детерминированного магазинного преобразователя
Построение восходящих преобразователей

Формальные языки

Задача структурного синтеза

PART
Обобщенная структурная схема автомата
Функциямиями выходов
Функциями возбуждения
Структурная схема с преобразователями входных и выходных сигналов
Структурная схема на элементах импульсного типа
Основные этапы структурного синтеза
Выбор числа элементов памяти и кодирование состояний автомата
Построение функции выхода
Типы элементов памяти

Построение функций возбуждения
Пример 2
Кодрование состояний с использованием соседей первого и второго рода
Кодирование с числом элементов памяти, равным числу состояний
Структурные схемы с дешифратором
Структурная схема с удвоенным числом элементов памяти
ОБЩИЕ ПОЛОЖЕНИЯ
Дискретного времени
Асинхронным
ОПИСАНИЕ РАБОТЫ АСИНХРОННОГО АВТОМАТА

СОСТЯЗАНИЕ ЭЛЕМЕНТОВ ПАМЯТИ
Гонками
КОДИРОВАНИЕ СОСТОЯНИЙ
ЭВРИСТИЧЕСКИЙ СПОСОБ КОДИРОВАНИЯ
СВЯЗЬ АСИНХРОННОГО АВТОМАТА С ВНЕШНЕЙ СРЕДОЙ
ПОСТРОЕНИЕ ЭЛЕМЕНТОВ ПАМЯТИ
АСИНХРОННЫЙ ТРИГГЕР

АСИНХРОННЫЙ S-ТРИГГЕР
ТРИГГЕРЫ С СИНХРОНИЗАЦИЕЙ
ТРИГГЕРЫ С ЗАДЕРЖКОЙ
T - ТРИГГЕР С ЗАДЕРЖКОЙ
АСИНХРОННЫЙ ТРИГГЕР J-K С ЗАДЕРЖКОЙ
ТРИГГЕР J-K С ЗАДЕРЖКОЙ И СИНХРОНИЗАЦИЕЙ
ТРИГГЕР D-V С ЗАДЕРЖКОЙ И СИНХРОНИЗАЦИЕЙ
УПРАЖНЕНИЯ

Содержание раздела