Schleifensatz
Substantiv · m
—
Informatik, Theorie formaler Sprachen: Satz über die Eigenschaft bestimmter Sprachklassen, ab einer gewissen Wortlänge nur Wörter mit beliebig wiederholbaren Teilstrings zu enthalten
Für reguläre Sprachen und für kontextfreie Sprachen gilt jeweils ein spezieller Schleifensatz.