Sei ''G'' eine kontextfreie Grammatik. Eine Produktion von ''G'' heißt '''<!--fett sic-->direkt rekursiv''', wenn sie die Form ''A'' → ''αAβ'' hat. Sie heißt '''direkt ''linksrekursiv''''', wenn ''α'' = ''ε'', '''direkt rechtsrekursiv''', wenn ''β'' = ''ε'' ist. […] Der Benutzer muß seine Grammatik so transformieren, daß sie nicht mehr ''linksrekursiv'' ist […]<ref>Dang Dinh Ang, Rudolf Gorenflo, Vy Khoi Le, Dang Duc Trong, ''Moment Theory and Some Inverse Problems in Potential Theory and Heat Conduction'' (ISBN 3540440062), Seite 323</ref>
{{K|Informatik|Mathematik|Linguistik|fachsprachlich}} eine die Produktion (Regel) oder die Grammatik (Beschreibung) einer [[Formale Sprache|Formalen Sprache]] (auf Logik basierenden, abstrakten, künstlichen Sprache) betreffende Eigenschaft