במדעי המחשב, למת הניפוח (באנגלית: Pumping Lemma) היא למה (כלומר, טענת עזר), המסייעת להראות ששפה פורמלית נתונה איננה שפה חופשית הקשר. הטענה מציגה תנאי הכרחי לכך ששפה תהיה חסרת הקשר; שפה שאינה מקיימת תנאי זה, איננה יכולה להיות חסרת הקשר. מתוך ויקיפדיה

למת הניפוח נועדה להוכיח ששפה כלשהי איננה שפה רגולרית. הלמה מגדירה תנאי הכרחי לרגולריות שפה, והשימוש העיקרי בה הוא בהוכחה בדרך השלילה ששפה איננה רגולרית על ידי הוכחת אי קיומו של התנאי עליו מדברת הלמה. הלמה נוסחה והוכחה על ידי יהושע בר⁻הלל, מיכה פרלס, ואלי שמיר מהאוניברסיטה העברית בירושלים. מתוך ויקיפדיה

למת המקומיות של לובאס, למת הנזל, למת הנחש, למת הניפוח לשפות חופשיות הקשר, למת הניפוח לשפות חופשיות⁻הקשר, למת הסנדוויץ', למת הספירה, למת הרגולריות של סמרדי, למת לחיצות הידיים, למת פודור