Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Подловченко Р.И. — Канонические формы схем и их построение в специальных автоматных моделях
Подловченко Р.И. — Канонические формы схем и их построение в специальных автоматных моделях



Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Канонические формы схем и их построение в специальных автоматных моделях

Автор: Подловченко Р.И.

Аннотация:

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


Язык: ru

Рубрика: Технология/

Тип: Статья

Статус предметного указателя: Неизвестно

ed2k: ed2k stats

Год издания: 1996

Количество страниц: 15

Добавлена в каталог: 31.10.2006

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2020
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте