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)
Kategoria:Języki formalne O