I teorien om formelle språk beskriver pumpelemmaet for kontekstfrie språk en fundamental egenskap for kontekstfrie språk. Lemmaet er en generalisering av pumpelemmaet for regulære språk.