در تئوری های زبان صوری در نظریه رایانش پذیری ، لم پمپاژ یا بحٍث پمپاژ بیان می کند که:برای یک زبان خاص به عنوان یک عضو از یک نوع زبان ، هر رشته به اندازه کافی طولانی در این زبان، شامل یک بخش، یا بخش هایی است ، که می تواند حذف شود ، یا هر تعداد باری تکرار شود که رشته های نتیجه شده در آن زبان می باشد.Thomas A. Sudkamp (2006). Languages and Machines, Third edition. Adison Wesley. ISBN 0-321-32221-5. C...