This article is cited in 4 papers

Part 3. Mathematical models

Decidability of the order problem for linear automata

N. V. Muravev

Lomonosov Moscow State University

Abstract: We consider the order problem for linear automata. A finite order criterion for linear automata is presented that provides an algorithm solving this problem. An upper bound of linear automata orders is proved.

Keywords: finite automata, linear automata, order in semigroup.