帕里克定理 在理論計算機科學中帕里克定理指出对于上下文无关语言如果只关心其中每个终止符号出现的次数而不考虑它们的顺序那么存在正则语言与其对应这个定理可用于确定具有给定数量终止符号的字符串是否能为上下文无关语法接受年罗希特帕里克第一次证明了它论文于年再次发表