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