Für reguläre Sprachen und für kontextfreie Sprachen gilt jeweils ein spezieller ''Schleifensatz.''
''[[Informatik]], Theorie [[formale Sprache|formaler Sprachen]]:'' Satz über die Eigenschaft bestimmter [[Sprachklasse]]n, ab einer gewissen Wortlänge nur [[Wort|Wörter]] mit beliebig wiederholbaren [[Teilstring]]s zu enthalten