О некоторых множествах автоматов над конечным кольцом

Abstract

Досліджено множини автоматів Мілі та Мура над довільним комутативно-асоціативним кільцем, у яких функції переходів та функції реакцій є лінійними комбінаціями функцій стану автомата та функцій вхідного символу. Охарактеризовано підмножини сильнозв’язаних автоматів, автоматів, у яких функція переходів є переставленням, приведених автоматів та оборотних автоматів.

Sets of Mealy and Moore automata over an arbitrary finite commutative-associative ring with transition and output functions being linear combinations of any function of state of an automaton with any function of its input are investigated. Subsets of strongly connected, with permutation transition function, permutation reduced, and reversible automata are characterized.