Досліджено властивості автоматів, які визначено на множині траєкторій, що виділені на параметризованому многовиді над скінченим асоціативним не обов"язково комутативним кільцем. Охарактеризовано множини групових автоматів, автоматів, які мають стани-джерела, та автоматів, які мають стани-стоки. Досліджено сім"ї геш-функцій, які визначаються автоматами без виходу. Для автоматів Мілі і Мура охарактеризовано множини автоматів, які мають стани-близнюки, автоматів, які є 1-діагностуємими, та автоматів, які є оборотними.
There are analyzed properties of automata determined over some set of trajectories extracted into parametric variety over any finite associative not necessary commutative ring. The sets of group automata, automata with source-states and automata with flow-states are characterized. Families of hash-functions determined via automata without output mapping are analyzed. For Mealy and Moore models there are characterized the sets of automata with twins-states, 1-distingushisable automata and reversible automata.
