ON PROPERTIES OF MINMAX SUBAUTOMATA

  • Published : 2004.09.01

Abstract

In this paper We shall give some characterizations for mX* derived from the relationships between S(m) and C(m). Also we shall discuss the minimal, maximal, strongly cyclic and minmaxCR-automata. There is an interesting part for the relationship between mX* and S(m). That is to say, that mX* is minimal has the same meaning as S(m) is strongly cyclic. We shall note that the minimality implies ‘ strongly cyclic’ and ‘strongly cyclic’ implies ‘cyclic’ and ‘cyclic’ implies ‘a MaxCR-automaton’.

Keywords