Алгебраические свойства частичных автоматов

Строится теория стабильных бинарных отношений для частичных автоматов, частным сличаем которой является теория гомоморфизмов. Указываются необходимые и достаточные условия, при которых тройка отображений является гомоморфизмом, соответственно сильным гомоморфизмом одного частичного автомата в другой. Выясняется структура отношений, играющих существенную роль в минимизации частичных автоматов. Оказывается, что они являются наибольшими из квазистабильных бинарных отношений. Доказывается, что образ частичного автомата $A$ при квазигомоморфизме, соответственно при сильном квазигомоморфизме, покрывает $A$, соответственно эквивалентен $A$, если приведенный частичный автомат. $B$ эквивалентен частичному автомату $A$, то $B$ — сильно квазигомоморфный образ $A$.