UNIVERSIDAD PEDAGÓGICA Y TECNOLÓGICA DE COLOMBIA

FACUTAD DE INGENIERÍA
INGENIERÍA DE SISTEMAS Y COMPUTACIÓN
LENGUAJES FORMALES

TALLER 1

1. Para cada una de las siguientes gramáticas determine si es sensible al

contexto, libre de contexto, regular o ninguna de ellas.

1.1 T = {a, b}, N ={ S, A}

P: {
S  bS
S  aA
S b
A  aS
A  bA
Aa }
S=S

1.2 T = {a, b, c}, N={S,A,B}

P={
S  AB
AB  BA
A  Aa
B  Bb
Aa
B b
}
S=S

1.3 T = {a, b}, N ={S, A, B}

P={
SA
S  AAB
Aa  Aba
A  aa
Bb  ABb
AB  ABB
Bb
}
S=S

1.4 T = {a, b, c}, N = {A, B, C},

P={
 C  BAB
C  ABA
A  AB
B  BA
A  Aa
A  ab
Bb }
S =C

1.5 T = {a, b}, N = {S, A, B},

P={
S  bS | aA | a
A  aS | bB
B  bA | aS | b }
S=S

1.6 T = {a, b}, N = {A, B, C},

P={
C  AAC
AA  B
B  bB
Aa }

2. Para cada una de las gramáticas anteriores 1.1 – 1.6 realizar el árbol de
síntesis

3. Demostrar que la cadena w dadas pertenecen al lenguaje L(G) de la

gramática indicada por medio de una derivación:
3.1 w = bbabbab, Gramática 1.1
3.2 w = abab, Gramática 1.2
3.3 w = aabbaab, Gramática 1.3
3.4 w = abbbaabab, Gramática 1.4
3.5 w = abaabbabba, Gramática 1.5
4. Escribir una gramática que genere las cadenas con la propiedad indicada:
4.1 Cadenas sobre {a, b} que inician con a
4.2 Cadenas sobre {a, b} que terminan con ba
4.3 Cadenas sobre {a, b} que contienen ba
4.4 Cadenas sobre {a, b} que no terminan con ba
4.5 Enteros sin ceros a la izquierda
4.6 Números de punto flotante (números como .294, 89., 67.284)
4.7 Números exponenciales (números que incluyen punto flotante y
números como 6.9E3, 8E12, 9.6E–4, 9E–10)
4.8 Todas las cadenas sobre {a, b}