• Journal of applied mathematics & informatics
• /
• v.17 no.1_2_3
• /
• pp.671-678
• /
• 2005

In this paper we shall give some characterizations of strongly cyclic and totally reachable (TR) automata when A = (M, X, $\delta$) is MinCR-automaton. Also we shall see that if an automaton A is strongly cyclic, then A is cyclic and a TR-automaton. When A is MinmaxCR-automaton, we shall give another characterizations for a strongly cyclic and cyclic TR-automaton.

• Journal of applied mathematics & informatics
• /
• v.16 no.1_2
• /
• pp.595-604
• /
• 2004

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’.