量化上下文无关语言的代数性质

摘要：

通过引入量化下推自动机与量化上下文无关文法的定义,研究了以两种不同方式接受语言的量化下推自动机等价性问题,证明了在可交换的双幺赋值幺半群上,量化下推自动机接受的语言与量化上下文无关文法生成的语言相同.

关键词：双幺赋值幺半群、量化下推自动机、量化上下文无关文法、量化上下文无关语言

所属期刊栏目：44

分类号：TP301.1;O159(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目11401361,11226266,61572016;中央高校基本科研业务费资助项目GK201402002

在线出版日期：2017-08-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：57-60,88