Заметки

К синхронизации конечного детерминированного автомата

А. М. Богомолов, В. А. Твердохлебов

Саратов

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

УДК: 53.072:51


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

 Англоязычная версия: Automation and Remote Control, 1979, 39:10, 1571–1573

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

• 
•