Curso: Lenguajes Formales y Autómata

Hoja de trabajo unidad 5-1

SOLUCIÓN

Dadas las siguientes GRAMÁTICAS:

a) Indique el tipo de gramática (jerarquía de Chomsky) y justifique su respuesta,

b) Dé dos ejemplos de derivación de cuerdas
c) Deduzca el lenguaje que genera. Exprese el lenguaje en notación de conjuntos

1. T = {a, b, c, 0, 1} , V = {S}, S es el símbolo inicial,

P:

S –> a │b │c│Sa│Sb│Sc│S0 │S1

a) Tipo 3 o Gramática Regular por ser una Gramática Lineal Izquierda (GLI)
b) S => Sa => Saa => Sbaa => Sbaa => cbaa
S => S0 => S10 => Sa10 => Sca10 => bca10
S => S0 => S00 => S100 => a100
c) L = { aw │w ϵ ∑*} U { bw │w ϵ ∑*} U { cw │w ϵ ∑*}

2. T = {a, b}, V = {S, A}, S es el símbolo inicial,

P:

S -> A │λ

A -> aAb │ab

Solución:

a) Tipo 2 o Gramática de Contexto Libre

b) S => A => aAb => aaAbb => aaabbb
S => λ
S => ab
c) L = { anbn │n ≥ 0}

3. T = {a, b}, V = {S, A}, S es el símbolo inicial,

P:

S -> A │λ

A -> aA │Ab │a │b

Solución:

a) Tipo 2 o Gramática de Contexto Libre

 b) S => λ
S => A => aA => aAb => aab
S => A => Ab => Abb => aAbb => aabb
c) L = { anbm │n ≥ 0; m ≥ 0}

Dados los siguientes lenguajes, proponga una gramática (de cualquier tipo) que los genere:

Solución:

1. S -> aAa
A -> λ │Ab

2. S -> a │aSb │B │ λ
B -> aB │a

3. S -> aSa │ λ │A
A -> bAa │ λ

4. S -> 0S0│ 1S1

B -> 0 │1