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

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