RECURSIVIDAD: Tiras infinitas

1° Identificar donde exista recursividad, E  E …

Copiamos las producciones recursivas y seguimos el modelo del algoritmo.

AMBIGÜEDAD: Cuando se llaga a una tira terminal, pero con diferentes derivaciones.
Símbolos Inútiles:
1° Símbolos terminales

Hacemos viejo vacío y en nuevo buscamos un símbolo NT que se derive SÓLO con terminales.

Viejo será lo que tenemos en nuevo, nuevo será viejo unido a los NT que se deriven sólo con T y
puede haber NT, pero tienen que pertenecer a Viejo.

Luego se repite la segunda oración.

2° Del paso 1 de P´

Hacemos Viejo = S, y en Nuevo irá la parte derecha de S.

Viejo será nuevo, nuevo será viejo unido, las partes derechas de los símbolos NT de Viejo.

Se repite oración anterior.

VACUIDAD:

Hacemos viejo vacío y en nuevo buscamos un símbolo NT que se derive SÓLO con terminales.

Viejo será lo que tenemos en nuevo, nuevo será viejo unido a los NT que se deriven sólo con T y
puede haber NT, pero tienen que pertenecer a Viejo.

Se repite lo anterior.
Reglas lambda:

Viejo será vacío, Nuevo será los NT que se deriven como lambda.

Viejo será nuevo, nuevo será viejo unido a los NT que se deriven sólo como NT y pertenezcan a
Viejo.

Se repite lo anterior.
REGLAS UNITARIAS:
Paso 1:

Viejo será vacío, Nuevo será el NT izquierdo de la primera producción.

Nuevo será los NT de la parte derecha de los NT de Viejo.

Se repite lo anterior.

Las producciones serán las partes derechas no unitarias

Paso 2:

Repetir para cada producción.

FORMA NORMAL DE CHOMSKY PDF