Lemat o pompowaniu

Lemat o pompowaniu – termin odnosi się do jednego lub wszystkich z poniższych twierdzeń nazywanych zwyczajowo lematami:

• lemat o pompowaniu dla języków regularnych,
• lemat o pompowaniu dla języków bezkontekstowych,
• lemat o pompowaniu dla języków indeksowanych,
• lemat o pompowaniu dla regularnych języków drzewiastych.

Zobacz też

• lemat Ogdena (dla języków bezkontekstowych)