自嵌入规则（self-embedding rule），文学-语言文字-计算语言学及语料库语言学-计算语言学-转换语法数学模型，如果在上下文无关语法中，存在着某一非终极符号，具有性质，式中和为非空符号串，推导式左边的嵌入推导式的右边，那么，这个语法就是自嵌入的，而规则就是自嵌入规则。A.N.乔姆斯基（Avram Noam Chomsky，美国，1928～ ）证明了，如果是非自嵌入的上下文无关语法，即为有限状态语言（见有限状态语法）；如果是上下文无关语言，那么，当且仅当语法是具有自嵌入性质的上下文无关语法时，才不是有限状态语言。