Dграфы в теории магазинных автоматов Вылиток А.А., Станевичене Л.И., Чернцов И.В.
Краткое описание
Вылиток А.А., Станевичене Л.И., Чернцов И.В.
Год: 1996
Город: Москва
Количество страниц: 64
Язык: Русский
Формат: PDF / RAR
Формат файла: RAR
Полное описание
Дана характеризация КСязыков так называемыми Dграфами. Представлены преобразование магазинного автомата в эквивалентный D-граф и решения ряда задач, использующие возможность такого преобразования.
Предложен алгоритм построения по магазинному автомату эквивалентной КСграмматики, которая наследует свойства однозначности, детерминированности и др.
Выделен класс сингулярных магазинных автоматов, которые можно считать аналогами КСграмматик без самовставления. Доказано, что сингулярные магазинные автоматы допускают в точности регулярные языки.
Исследуются магазинные автоматы с одним поворотом, действующие в реальное время. Приводятся отвечающие данному случаю решения некоторых алгоритмических проблем, в частности, проблемы эквивалентности.
Доказано, что произвольный детерминированный магазинный автомат эквивалентен детерминированному же автомату, каждый такт которого, не стирающий в магазине, читает входной символ. Таким образом, затронут важный для приложений вопрос повышения эффективности детерминированного магазинного автомата.
Файлы по теме
- Справочник по теплоснабжению и вентиляции (кн. 2) Р.В. Щекип, С.М. Кореневский, Г.Е. Бем, Ф.Я. Скороходько, Е.И. Ченик, Г.Д. Соболевский, В.А. Мельник, О. С. Кореневская
Справочник содержит основные сведения по устройству, расчету и конструированию систем вентиляция и кондиционирования воздуха в жилых и общественных зданиях
- Изготовители электронных компонентов Стешенко В.Б.
В книге дается обзор перспективных семейств ПЛИС фирмы "Altera", приводятся краткие сведения об особенностях их архитектуры и временных параметрах устройств, рассмотрена САПР "МАХ + PLUS II", а также языки описания аппаратуры AHDL и VHDL
- Справочник по теплоснабжению и вентиляции (кн. 1) Р.В. Щекин, С.М. Кореневский, Г.Е. Бем, Ф.И. Скороходько, Е.И. Чечик, Г.Д. Соболевский, В.А. Мельник, О.С. Кореневская
Справочник содержит основные сведения по строительной теплотехнике с расчетами и выбором строительных конструкций наружных ограждений отапливаемых зданий, а также по устройству, расчету и проектированию систем отопления, горячего водоснабжения и теплоснабжения в жилых и общественных зданиях
- Счётчик цифровой стенда испытательного для топливной дизельной аппаратуры Motorpal NC215 0
Скачивание файлов доступно только зарегистрированным пользователям.