Regular component decomposition of regular languages
暂无分享,去创建一个
A language is regular if it can be recognized by a finite automaton. According to the pumping lemma, every infinite regular language contains a regular subset of the form uv+w, where u,v,w are words and v is not empty. It is known that every regular language can be expressed as (?i?Iuivi+wi)?F, where I is an index set, ui,wi?A?,vi?A+,i?I and F is a finite set of words over the alphabet A. This expression is called a regular component decomposition of the language. A language is called regular component splittable if it can be expressed as a disjoint union of regular components and a finite set. A language which has a regular component decomposition with finite index is called a finite regular component representable language. It has been shown that every finite regular component representable language is regular component splittable by Shyr and Yu in (Discrete Appl. Math. 82 (1998) 219). They conjectured that every regular language is regular component splittable in (Acta Math. Hung. 78(3) (1998) 251). The conjecture is proved in this paper.
[1] Shyr-Shen Yu,et al. The Single Loop Representations of Regular Languages , 1998, Discret. Appl. Math..
[2] Shyr-Shen Yu,et al. Regular Component Splittable Languages , 1998 .
[3] Berndt Farwer,et al. ω-automata , 2002 .
[4] J. Berstel,et al. Theory of codes , 1985 .
[5] H. Shyr. Free monoids and languages , 1979 .