Versiones y lista de correcciones

A parte de algunas correcciones de ortografía se ha realizado las siguientes cambios de versión en versión:

• Version 2
  • (Sección 4.6) mejorado la precisión de la observación
  • (Sección 8) Si $\delta(q,\sigma)=p$ es una transición del AFD, con $q\in Q$, $p\in F$ y $\sigma\in\Sigma$, entonces añadimos a $P$ la producción $q\longrightarrow \sigma$.
  • (Sección 8) Entonces el sistema de producciones $P$ de la gramática será:
    $$\begin{eqnarray*} P&=&\{q_0\longrightarrow aq_0\vert a\vert bq_1\vert b\vert cq... ...ow bq_1\vert b\vert cq_2\vert c,q_2\longrightarrow cq_2\vert c\} \end{eqnarray*}$$
    
    

  • (Sección 10.1) Si el lenguaje de partida $L$ contiene la palabra vacía ($\epsilon\in L$) entonces se detecta en el pasa 4 que el símbolo inicial pertenece a $E$ (o incluso a $E_\epsilon$), en este caso eliminamos con un nuevo símbolo, por ejemplo $\$^\prime$, la aparencia de $\$ en los lados derechos y añadimos la regla $\$\longrightarrow \epsilon$. Tal gramática sigue estando en forma normal de Chomsky y genera $L$.
  • (Sección 10.2) Obviamente cualquier gramática en forma normal de Greibach es una gramática libre de contexto que se verifica directamente analizando la forma de producciones permitidas.