This paper is devoted to the study of the relationship between regularity and definability of relations in structures presented by finite automata.
the quality or state of being capable of being defined, limited, or explained.