Lema
de Pumping
Minerva permite operar
con el lema de Pumping
a través dos enfoques diferentes, uno orientado a la aplicación
del lema sobre lenguajes regulares y otro a la utilización del
mismo como medio de prueba
de que ciertos lenguajes no son regulares. Para trabajar con cada
uno de estos enfoques se cuenta con dos ventanas diferentes accesibles
a partir del menú Lema de Pumping.
Conceptos
Teóricos