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

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