上下文相關文法

是喬姆斯基(Chomsky, N.)引進的.設G=(V,T,P,s)為一個短語結構文法，若限定式中的所有產生式a-大於b都滿足下列條件:b的長度不小於a之長度.則稱G為上下文相關文法.由上下文相關文法產生的語言稱為上下文相關語言.上下文相關語言都是遞歸的，但反之不然.