Dentro del estado <DE_PREPOSICIÓN> en efecto hay una regla que contiene la definición para la cadena que se tiene actualmente en el búffer: "jueves". Esta definición no es explícita, es decir no está escrito en la regla "jueves", sino que se hace referencia a las unidades atómicas definidas en la primera parte del documento. De esta manera, se habría entrado igualmente a esta regla si la frase hubiera sido "Antes del miércoles...", ya que {Día} define todos los días de la semana.
Para cuando el analizador léxico se encuentra en la esta fase (1), para EXTE ya se tiene una expresión temporal válida en memoria y puede agregarse. Dado que "saldrán" no forma parte de una expresión temporal o de alguna cadena reconocible por EXTE, el estado <DE_PREPOSICIÓN> transifere el control de nuevo a YYINITIAL. YYINITIAL repite los pasos descritos en anteriormente, hasta que vuelva a encontrar una cadena que en efecto transfiera el control a algún estado.
Es importante hacer notar que la expresión temporal real consta únicamente de "antes del jueves" y "saldrán los presos, ...hoy" es un grupo de cadenas completamente desconocidas para EXTE. Una vez que la palabra contenida en el búffer de YYINITIAL apunte a la palabra "hoy", EXTE habrá creado (siguiendo los mismos pasos) una expresión temporal que habrá pasado por otro grupo de reglas, quizá completamente distintas. Para este caso "hoy" es una FechaSimple y como se vió al inicio, FechaSimple es una unidad atómica.
Para ver a detalle todas las transiciones, por favor lea la gramática.