Archivo de prueba con la lógica del lenguaje implementada