Analysis of Automata Models Determined on Varieties over Finite Ring

摘要

There are analyzed automata models determined over finite ring on variety with algebra and on parametrized variety with the prescribed set of trajectories. Homomorphisms of indicated structures are determined. Some method is proposed to investigate this homomorphism aimed at designing for any automata model determined in an initial structure its image determined in a resulting structure. The sets of group automata, automata with source-states, automate with flow-states, automata with twins-states and automata with 1-distinguishable states and reversible automata are characterized.