SoftCraft
разноликое программирование

Top.Mail.Ru

ГИПЕРАВТОМАТ - МАТЕМАТИЧЕСКАЯ МОДЕЛЬ СЛОЖНЫХ АЛГОРИТМОВ УПРАВЛЕНИЯ

©2006 В.Е. Зюбин

Статья в формате pdf (~140 кб)

Аннотация

Тезисное изложение модели гиперавтомата, лежащее в основе языка Рефлекс. Констатируются специфика алгоритмов управления и недостатки модели конечного автомата с точки зрения задачи программной реализации таких алгоритмов.

Приводится модель гиперавтомата, терминологически ориентированная на информационные технологии. В качестве ключевого концепта модели использовано понятие процесса. Процесс определяется как полиморфная функция особого вида. Для обозначения функционального полиморфизма процесса вводится термин "событийный полиморфизм". (опубликовано в сборнике трудов конференции "Современные проблемы информатизации. Моделирование и программирование"-2006, стр. 287-289. Электронный архив конференции - http://www.sbook.ru/spi/spi_conf.htm)