rekursiv

文法递归- 属于信息学、形式语言领域的；递归文法：当且仅当文法G拥有一个非终结符N，且存在推导N⇒_G^*αNβ到包含同一N的句型αNβ时，称该文法G为递归的

Informatik, formale Sprachen; rekursive Grammatik: eine Grammatik G heißt rekursiv dann und nur dann, wenn sie ein Nichtterminalsymbol N, besitzt und eine Ableitung N⇒_G^*αNβ, zu einer Satzform αNβ,, die also dasselbe N, irgendwo enthält.

规则递归- 属于信息学、形式语言领域的；递归产生式：一个形如N→α、以非终结符N为左部的产生式当且仅当其右部α形如α=βNγ时称为递归的

Informatik, formale Sprachen; rekursive Produktion: eine Produktion (Ersetzungsregel) der Gestalt N→α, mit also dem Nichtterminalsymbol N, als linker Seite heißt rekursiv dann und nur dann, wenn die rechte Seite α, die Gestalt α=βNγ, hat.