О конкретной характеризации универсальных гиперграфических автоматов

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