万能的ω-上下文无关文法及它的一个应用

数学学报 ›› 1989, Vol. 32 ›› Issue (1) : 134-140. DOI: 10.12386/A1989sxxb0015

论文

万能的ω-上下文无关文法及它的一个应用

马世骅

作者信息 +

文章历史 +

本文证明了:①存在一个ω-CFG G,使得{L_c(G)|C 是ω-正规语言}和 CFL_ω一致.②提出并证明了ω-上下文无关语言的迭代定理.

导出引用

马世骅. 万能的ω-上下文无关文法及它的一个应用. 数学学报, 1989, 32(1): 134-140 https://doi.org/10.12386/A1989sxxb0015

272

Accesses

Citation

Detail

段落导航