Автоматы

Простейшая система взаимосвязанных графов и расширение практических возможностей конечных автоматов

Г. И. Михайлов, В. В. Руднев

Москва

Аннотация: Исследуется поведение модели дискретных устройств, допускающей блочность и параллелизм. В этой модели, в отличие от известных, допускается одновременное наступление нескольких событий. Такое допущение позволяет во многих задачах рассматривать вместо самой системы некоторый значительно более простой ее образ. Это позволяет существенно повысить размерность системы при решении ряда задач, в частности задачи об эквивалентности двух систем.

УДК: 519.14:53.072:51


Поступила в редакцию: 28.11.1978

 Англоязычная версия: Automation and Remote Control, 1980, 40:10, 1487–1503

Реферативные базы данных:

•