Kategorie:Theorie der linearen Rekursion/Definitionen