Поиск
Партнеры

Dграфы в теории магазинных автоматов Вылиток А.А., Станевичене Л.И., Чернцов И.В.

Краткое описание

Вылиток А.А., Станевичене Л.И., Чернцов И.В.
Год: 1996
Город: Москва
Количество страниц: 64
Язык: Русский
Формат: PDF / RAR

Формат файла: RAR

Полное описание

Дана характеризация КСязыков так называемыми Dграфами. Представлены преобразование магазинного автомата в эквивалентный D-граф и решения ряда задач, использующие возможность такого преобразования.
Предложен алгоритм построения по магазинному автомату эквивалентной КСграмматики, которая наследует свойства однозначности, детерминированности и др.
Выделен класс сингулярных магазинных автоматов, которые можно считать аналогами КСграмматик без самовставления. Доказано, что сингулярные магазинные автоматы допускают в точности регулярные языки.
Исследуются магазинные автоматы с одним поворотом, действующие в реальное время. Приводятся отвечающие данному случаю решения некоторых алгоритмических проблем, в частности, проблемы эквивалентности.
Доказано, что произвольный детерминированный магазинный автомат эквивалентен детерминированному же автомату, каждый такт которого, не стирающий в магазине, читает входной символ. Таким образом, затронут важный для приложений вопрос повышения эффективности детерминированного магазинного автомата.

Файлы по теме
Файл скачан 0 раз
Голосовать за файл
 
 
Скачивание файлов доступно только зарегистрированным пользователям.
Комментарии к файлу

Написать ответ
Ваше имя

Ваш e-mail

Сообщение

Введите текст, который вы видите на картинке слева.

Регистр не важен. Нажмите, если не можете прочитать

Предварительный просмотр