首页 | 本学科首页   官方微博 | 高级检索  
     检索      

形式语言的无穷次商
引用本文:马世骅,陈力行.形式语言的无穷次商[J].山东大学学报(理学版),1983(1).
作者姓名:马世骅  陈力行
作者单位:山东大学计算机科学系 (马世骅),山东大学计算机科学系(陈力行)
摘    要:本文证明了无穷次商的下列性质:①上下文无关语言对上下文无关语言的无穷次商是否上下文无关的问题是不可解的。②上下文无关语言对正则集的无穷次商仍是上下文无关语言。③正则集对任意集的无穷次商仍是正则集。

本文献已被 CNKI 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号