帕裏克定理

在理論計算機科學中 ， 帕裏克定理指出 ， 對於上下文無關語言 ， 如果只關心其中每個終止符號出現的次數 ， 而不考慮它們的順序 ， 那麼存在正則語言與其對應 。 這個定理可用於確定具有給定數量終止符號的字符串是否能爲上下文無關語法接受 。 1961年羅希特 · 帕裏克第一次證明了它 ， 論文於1966年再次發表 。