HOJA 2. Gramáticas Independientes del Contexto
1.- Determinar si el lenguaje generado por
S ::= aaA | bB | aa
B ::= aA | b | a
A ::= aS | bB
Es finito o infinito.
2.- Demostrar que las siguientes gramáticas son ambiguas:
a)
S ::= bA | aB
B ::= aBB | bS | b
A ::= aS | bAA | a
b)
S ::= aBC | aC | aXBb | Abb |
aXb | ab | c
B ::= bB | b | Xa | a | c
C ::= c | bB | b
X ::= c
3.- Escribe un ejemplo de una GIC bien formada y ambigua.
4.- Definir una GIC bien formada para el lenguaje L = {xnym / m,n F 0
B 3
0 y m=n ó m=2n }
5.- Encontrar una GIC bien formada que genere un lenguaje definido sobre F 0
5 3
= {0,1},
formado únicamente por todas las cadenas que contienen un número de ceros mayor en
una unidad que el número de unos. Por ejemplo: 01001, 001, 00101,…
6.- Convertir las siguientes GICs a Forma Normal de Chomsky:
a)
S ::= AB | CA
A ::= a
B ::= BC | AB
C ::= aB | b
b)
S ::= aAb | cHB | CH
A ::= dBH | eeC
