Досліджено автомати Мілі і Мура, які визначено системами рівнянь над алгеброю, яку задано на многовиді над скінченним кільцем. Встановлено автоматні характеристики моделей дослідження. Охарактеризовано гомоморфізми моделей дослідження у термінах гомоморфізму многовидів, який визначено як гомоморфізм відповідних алгебр.
There are analyzed Mealy and Moore automata determined via systems of equations over some algebra determined for a variety over finite ring. Basic characteristics for investigated models are established. Homomorphism of investigated models is characterized via homomorphism of varieties, which is determined as homomorphism of corresponding algebras.
З 31.12.2014 по 01.03.2015 Наукова бібліотека читачів не обслуговує.
