Resultado de la búsqueda: probar que un lenguaje es regular