Simulación de un DFA

Es muy fácil simular el comportamiento de un DFA mediante un programa:

q = q0 /* estado inicial */c = nextchar();while (c != blank) do begin q = ?(q, c) c = nextchar(); endif q ? F then aceptar();else rechazar();