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