Diferencia entre revisiones de «Lema del bombeo para lenguajes regulares»
Contenido eliminado Contenido añadido
m Corrección del ejemplo de "Uso del lema" y adición de un enlace externo. |
Etiqueta: Revertido |
||
Línea 4:
== Enunciado formal ==
Sea <math>L</math> un [[lenguaje regular]]. Entonces existe un [[Número entero|entero]] <math>p\ge1</math> (al que llamaremos "longitud de bombeo" y que dependerá exclusivamente de <math>L</math>) tal que cualquier [[Cadena de caracteres|cadena]] <math>w</math> perteneciente a <math>L</math>, de longitud mayor o igual que <math>p</math>, puede ser escrita pop como <math>w = xyz</math> (p. ej. dividiendo <math>w</math> en tres subcadenas), de forma que se satisfacen las siguientes condiciones:
# <math>|y| \ge 1</math>
| |||