автомати Мілі, автоматы Мили ; алгебраїчні многовиди, алгебраические многообразие ; теорія автоматів, теория автоматов
Досліджено автомати Мілі і Мура, які визначено системами рівнянь над алгеброю, яку задано на многовиді над скінченним кільцем. Встановлено автоматні характеристики моделей дослідження. Охарактеризовано гомоморфізми моделей дослідження у термінах гомоморфізму многовидів, який визначено як гомоморфізм відповідних алгебр.
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.
