Jede ''rekursive'' Produktion macht eine Grammatik trivialerweise ''rekursiv.'' Hingegen gibt es ''rekursive'' Sprachen, die keinerlei ''rekursive'' Produktionen enthalten müssen.
''[[Informatik]], [[formale Sprache]]n'':
[a] ''rekursive Produktion'': eine Produktion (Ersetzungsregel) der Gestalt <math>N \rightarrow \alpha\,</math> mit also dem Nichtterminalsymbol <math>N\,</math> als linker Seite heißt rekursiv dann und nur dann, wenn die rechte Seite <math>\alpha\,</math> die Gestalt <math> \alpha\ = \beta N \gamma\,</math> hat.
[b] ''rekursive Grammatik'': eine Grammatik G  heißt rekursiv dann und nur dann, wenn sie ein Nichtterminalsymbol <math> N\,</math> besitzt und eine Ableitung <math>N \Rightarrow_G^* \alpha N \beta\,</math> zu einer Satzform <math>\alpha N \beta\,</math>, die also dasselbe <math>N\,</math> irgendwo enthält.