El text següent parla sobre el tema Seguretat laboral?
En la teoria de llenguatges formals de la teoria de la computació, el lema de bombament estableix que en un llenguatge, qualsevol cadena de caràcters d'almenys una certa longitud (anomenada longitud de bombament), conté una secció que pot ser eliminada o repetida qualsevol nombre de vegades, amb la cadena resultant pertanyent a aquest llenguatge. La prova d'aquest lema requereix arguments de comptatge, com els del principi del colomar. Els dos exemples més importants són el lema de bombament per a llenguatges regulars i el lema del bombament per gramàtiques independents del context. El lema d'Ogden és un segon lema de bombament, més fort, per llenguatges lliures de context.
No.