加州大学佛罗里达分校 swMATH ID: 2951 软件作者: 托马斯·尤尔季安斯基;Krzysztof Lorys 描述: 丘吉尔-罗塞尔语vs.UCFL。增长上下文敏感语言(GCSL)是上下文敏感语言的一个自然定义的子类,其隶属度问题可以在多项式时间内解决。在本文中,我们集中讨论了Church Rosser语言(CRL)类,即GCSL的“确定性对等体”。我们证明了回文集不在CRL中的猜想。这意味着CFL\(cap\)co-CFL以及UCFL\(cap\)co-UCFL不包括在CRL中,其中UCFL表示一类明确的上下文无关语言。我们的证明使用了一种新颖的泵送技术,这是一种独立的有趣技术。 主页: http://www.springerlink.com/content/5ey8510mtm7txh2f/fulltext.pdf 相关软件: 引用于: 11文件 全部的 前5名12位作者引用 6 弗里德里希·奥托 4 托马斯·尤金斯基 2 洛里·希·克日什托夫 2 弗朗蒂舍克先生 2 马丁·普拉特克 1 诺伯特·亨德斯哈根 1 马丁·库特里布 1 哈特穆特Messerschmidt 1 科尔姆·P·奥杜兰。 1 亚历山大·奥霍金 1 娜塔莉·施鲁特 1 马塞尔·沃尔威勒 5篇连载文章中引用 4 理论计算机科学 1 信息与计算 1 国际计算机科学基础杂志 1 RAIRO公司。理论信息学及其应用 1 计算机基础理论 在1个字段中引用 11 计算机科学(68至XX) 按年份列出的引文