ในทฤษฎีภาษาเชิงรูปธรรม เลมมา การสูบฉีดอาจหมายถึง:

• ทฤษฎีบท Pumping สำหรับภาษาปกติคือข้อเท็จจริงที่ว่าสตริงที่มีความยาวเพียงพอทั้งหมดในภาษาดังกล่าวจะมีสตริงย่อยที่สามารถทำซ้ำได้ไม่จำกัดจำนวนครั้ง โดยปกติใช้เพื่อพิสูจน์ว่าภาษาบางภาษาไม่ใช่ภาษาปกติ
• ทฤษฎีบท Pumping lemma สำหรับภาษาไร้บริบทคือข้อเท็จจริงที่ว่าสตริงที่ยาวเพียงพอทั้งหมดในภาษาดังกล่าวจะมีคู่ของสตริงย่อยที่สามารถทำซ้ำได้ไม่จำกัดจำนวนครั้ง โดยปกติใช้เพื่อพิสูจน์ว่าบางภาษาไม่ใช่ภาษาไร้บริบท
• การปั๊มเลมมาสำหรับภาษาที่มีดัชนี
• การสูบเลมมาสำหรับภาษาต้นไม้ปกติ

• ทฤษฎีบท ของอ็อกเดน (Ogden's lemma)ซึ่งเป็นทฤษฎีบทการสูบฉีด (pumping lemma) ที่มีประสิทธิภาพมากกว่าสำหรับภาษาที่ไม่ขึ้นกับบริบท (context-free languages)

บทความดัชนีชุด นี้ประกอบด้วยรายการของรายการที่เกี่ยวข้องซึ่งมีชื่อเดียวกัน (หรือชื่อที่คล้ายกัน) หากลิงก์ภายในนำคุณมาที่นี่โดยไม่ถูกต้อง คุณอาจต้องการเปลี่ยนลิงก์เพื่อให้ชี้ไปยังบทความที่ต้องการโดยตรง