Este programa es una simulacion de una maquina de turing, la cual se encarga de validar el formato de la declaracion de una variable