在理论计算机科学中，帕里克定理指出，对于上下文无关语言，如果只关心其中每个终止符号出现的次数，而不考虑它们的顺序，那么存在正则语言与其对应。这个定理可用于确定具有给定数量终止符号的字符串是否能为上下文无关语法接受。1961年罗希特·帕里克第一次证明了它，论文于1966年再次发表。
定义及形式化表述.令formula_1为一个字母。定义单词的"帕里克矢量"formula_2为函数formula_3，其中formula_4表示词formula_5中formula_6出现的次数。