La máquina de Turing tiene tres estados (q1, q2, q3) y lee cintas con símbolos a, b o vacío. En el estado q1, si lee a se queda en q1 y mueve la cabeza a la derecha, si lee b pasa a q2 y mueve a la derecha, y si encuentra vacío pasa a q3 y se detiene. En q2 se queda en ese estado y se mueve a la derecha independientemente del símbolo. Esta máquina acepta cadenas que contengan un número par de