Extensión de la función de transición
Se puede extender la función de transición, ? para que acepte como entrada un estado y una cadena de símbolos del alfabeto:
(q, w) ? {q1, q2, ..., qN}
1.- ?~(q, ?) = ?-clausura(q)
2.- ?~(q, wa) = ?-clausura(P)
siendo P = {p | para algún r en ?~(q, w), p está en ?(r, a)}
?~(q, w) serán todos los estados p tales que se puede ir desde el estado q hasta p recorriendo un camino etiquetado con los símbolos de w ??*, con la posibilidad de incluir arcos etiquetados ?
(q, ?) ? {q1, q2, ..., qN}