Schleifensatz
التعريفات والمعاني
== Schleifensatz (Deutsch) ==
=== Substantiv, m ===
Worttrennung:
Schlei·fen·satz, Plural: Schlei·fen·sät·ze
Aussprache:
IPA: [ˈʃlaɪ̯fn̩ˌzat͡s]
Hörbeispiele: Schleifensatz (Info)
Bedeutungen:
[1] Informatik, Theorie formaler Sprachen: Satz über die Eigenschaft bestimmter Sprachklassen, ab einer gewissen Wortlänge nur Wörter mit beliebig wiederholbaren Teilstrings zu enthalten
Herkunft:
Determinativkompositum aus den Substantiven Schleife und Satz
Synonyme:
[1] Pumping-Lemma
Oberbegriffe:
[1] Hilfssatz, Lemma, Satz, Theorem
Beispiele:
[1] Für reguläre Sprachen und für kontextfreie Sprachen gilt jeweils ein spezieller Schleifensatz.
==== Übersetzungen ====
[1] Wikipedia-Artikel „Schleifensatz“