El documento describe las máquinas de estado finito, que son máquinas abstractas que reconocen cadenas de caracteres y dan una respuesta de "SÍ" o "NO". Una máquina de estado finito consiste en un conjunto finito de estados, un conjunto finito de símbolos de entrada y salida, una función que determina el siguiente estado basado en el estado actual y el símbolo de entrada, y una función que determina el símbolo de salida. La transición, donde ocurre un cambio de estado después de procesar un símbolo de entrada, es la un