交换文法问题的复杂性
摘要：非确定有限自动机和上下文无关文法所接受的语言的帕里赫图像；换句话说，我们以可交换的方式处理语言---我们不关心接受单词中字母的顺序，而是关心每个字母出现的次数。在大多数情况下，我们假设字母表的大小是固定的。我们对成员关系、等价关系和不相交性等问题给出了紧密的复杂性界限。特别地，我们展示了对于固定字母表上的非确定有限自动机的帕里赫图像的成员关系和不相交性问题的多项式算法，并且我们展示了对于固定终结字母表的上下文无关文法的等价关系是Pi2P完备的。
作者：Eryk Kopczy''nski
论文ID：1003.4105
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2010-03-23