Sei und . Dann ist aus indirekt ableitbar, wenn es durch endlich viele Ableitungsschritte aus erzeugbar ist. Formal: (reflexiv-transitive Hülle der Ableitungsrelation ) Siehe auch Ableitbarkeit