Относительно элементарная определимость класса универсальных графовых полуавтоматов в классе полугрупп

Теория автоматов является одним из разделов математической кибернетики, в котором изучаются устройства преобразования информации, возникающие во многих прикладных задачах. В данной работе мы изучаем автоматы без выходных сигналов и называем их полуавтоматами. В зависимости от исследуемых задач рассматриваются полуавтоматы, у которых множество состояний наделено дополнительной математической структурой, согласованной с функцией переходов полуавтомата. В настоящей работе исследуются полуавтоматы над графами (так называемые графовые полуавтоматы), множество состояний которых наделено математической структурой графа.
Универсальный графовый полуавтомат $\text{Atm}(G)$ — это универсально притягивающий объект в категории полуавтоматов, у которых множество состояний наделено структурой графа $G$, сохраняющейся функцией переходов полуавтомата. Полугруппа входных сигналов такого полуавтомата имеет вид $S(G)=\text{End}\ G$. В данной работе рассматривается вопрос относительно элементарной определимости класса универсальных графовых полуавтоматов над рефлексивными квазибесконтурными графами в классе полугрупп, а также приложения полученной относительно элементарной определимости.