PanLinx
Deutsch
deu-000
Schleifensatz
English
eng-000
pumping argument
English
eng-000
pumping lemma
PanLex
