中国科学院数学与系统科学研究院期刊网
万能的ω-上下文无关文法及它的一个应用
马世骅
数学学报 . 1989, (1): 134 -140 .  DOI: 10.12386/A1989sxxb0015