Un autómata es una maquina cuya entrada pertenece a un alfabeto, y cuya salida es el conjunto de 2 valores que se pueden denotar como: "reconozco" o "no reconozco".

En este tutorial crearemos un programa que reconozca si el nombre de una variable está bien o mal escrito. Verificando cada una de las reglas necesarias.