Verificador para la clase de Lenguajes de programación