Teoría de la Computación MC Juan Fraustro de la O

BRENDA NAYELI RODRIGUEZ SALAZAR 19050116

Teoría de la Computación

Actividad 18.

Objetivo. El estudiante es capaz de eliminar la ambigüedad en una gramática libre de contexto.

Factorizando términos comunes izquierdos y eliminando recursividad izquierda.

Desarrollo: En cada uno de los siguientes ejercicios obtener la gramática libre de contexto sin
ambigüedad correspondiente.

1.- Factorizar términos izquierdos comunes en los siguientes casos.

Se aprecian términos comunes izquierdos en A Entonces;

α=a A  a A’ | ξ
β1 = B A’  B| C
β2 = C
δ=ξ
Se aprecian términos comunes izquierdos en A Entonces;

α=b B  b B’ | c
β1 = B B’  B| C
β2 = C
δ=c
Gramática sin términos
comunes:
SABC
A  a A’ B  b B’
Aξ Bc
A’ B B’  B
A’ C B’  C

Se aprecian términos comunes izquierdos en B Entonces;

α = ab B  ab B’ | a
β1 = B B’  B| A
β2 = A
δ=a

Gramática sin términos

comunes:

agosto de 2020 1
Teoría de la Computación MC Juan Fraustro de la O

SA
SB
A  ab B’
Aa
A’ B
A’ A

Se aprecian términos comunes izquierdos en A Entonces;

α = ab A  ab A’ | ξ
β1 = A A’  A|B| ξ
β2 = B
β3 = ξ
δ=ξ
Gramática sin términos
comunes:
S  AB
S  BA
A  ab A’
Aξ
A’ A
A’ B
A’  ξ

Se aprecian términos comunes izquierdos en A Entonces;

α = ab A  ab A’
β1 = c A’  c| ξ | d
β2 = ξ
β3 = d
Gramática sin términos
comunes:
SAbc
A  ab A’
A’ c
A’ ξ
A’ d

Se aprecian términos comunes izquierdos en S Entonces;

α=0 S  0 S’ | 1
β1 = 1 S S’  1 S| ξ
β2 = ξ
δ=1

agosto de 2020 2
Teoría de la Computación MC Juan Fraustro de la O

Gramática sin términos

comunes:
S  0 S’
S 1
S’  1 S
S’  ξ

Se aprecian términos comunes izquierdos en A con B Entonces;

α=abc A  a b c A’| a
β1 = ξ A’  ξ
δ=a B  a b c B’| b
δ=b B’  ξ
Gramática sin términos
comunes:
SABS
A  a b c A’
Aa
A’  ξ
B  a b c B’
Bb
B’  ξ

agosto de 2020 3
Teoría de la Computación MC Juan Fraustro de la O

2.- Eliminar la recursividad por la izquierda de las siguientes producciones.

Se aprecia recursividad en A Entonces;

α1 = a b Aa
β1 = a A’  a b A’ | ξ

Se aprecia recursividad en B Entonces

α1 = b a Bb
β1 = b B’  b a B’ | ξ
Gramática sin términos
comunes:
SAB
Aa
A’ ab A’
A’ ξ

Se aprecia recursividad en A Entonces;

α1 = a Aξ
α2 = b A’  a A’ | b A’
β1 = ξ
Gramática sin términos
comunes:
SA
SB
Aξ
A’ a A’
A’ b A’

Se aprecia recursividad en C Entonces;

α1 = a b c Cc
β1 = c C’  a b c C’ | ξ
Gramática sin términos
comunes:
SABC
Ac
A’ a b c C’
A’ ξ

agosto de 2020 4
Teoría de la Computación MC Juan Fraustro de la O

Se aprecia recursividad en S Entonces;

α1 = A B Sξ
α1 = a b S’  A B S’ | a b S’
β1 = ξ
Gramática sin términos
comunes:
Sξ
S’  A B S’
S’  a b S’
Aa
B b

Se aprecia recursividad en A Entonces;

α1 = a Aξ
β1 = ξ A’  a A’ | A’ a
Gramática sin términos
comunes:
SAB
Aξ
A’  a A’
A’  A’ a
Bb

Evidencias: Archivo con la solución de los ejercicios anteriores.

agosto de 2020 5