带分隔符号＄的ω－语言理论──（Ⅱ）语言与ω－语言的统一  

THEORY OF ω-LANGUAGES WITH SEPARATE SYMBOL ──(Ⅱ) INTEGRATE LANGUAGES WITH ω-LA NGUAGES

作　　者：马世骅 

出　　处：《山东大学学报（理学版）》1994年第4期398-407,共10页Journal of Shandong University(Natural Science)

基　　金：国家自然科学基金

摘　　要：提出了一种新的语言──＄－ω－语言，把语言、ω－语言和＄－ω语言统一地讨论．特别对＄－ω正规语言进行了详细地讨论，得到了＄－ω正规语言的代数结构定理．提出了抽象正规表达式，得到了用同一个抽象正规表达式α表示正规语言Ｖ和ω－正规语言Ｖω的方法．A new languages-$-ω-languages is presented, languages, ω-languages and $-ω languages are discussed uniformly.A $-ω-regular language is presented and discussed. Structural theorem of $-ω-regular languages is obtained. An abstract regular expression is presented. An abstract regular expression α is able to express both regular language V and ω-regular language Vω.

关 键 词：形式语言 Ω-语言 $-ω语言 

分 类 号：TP313[自动化与计算机技术—计算机软件与理论]