Tarea 5

Automatas y Lenguajes Formales

Andres Lopez Martnez
Facultad de Ciencias, Universidad Nacional Autonoma de Mexico
Marzo 10, 2016

1. Da una gram
atica que genere los siguientes lenguajes. Especifica sis 4 componentes.
(a) {w {a, b} | w tiene un n
umero par de as y un n
umero impar de bs}
Soluci
on: G = (N, T, P, S) con:
N = {A, B, C, D}
T = {a, b}
P ={
S A,
A aB,
A bC,
B aA,
B bD,
C aD, C bA,
C ,
D aC, D bB
}
(b) {xyzy R {a, b} | x, y, z {a, b} }
Soluci
on: G = (N, T, P, S) con:
N = {T, #, C}
T = {a, b}
P ={
S ,
S #T ,
# a#, # b#,
C
}
(c) {xyzy R x {a, b} | x, y, z {a, b} }
Soluci
on: G = (N, T, P, S) con:
N = {T, #, C, P, , }
T = {a, b}
P ={
S ,
S T #,
Ca CP a,
P ab bP a,
P a# #a,
aa, bb,

T aT a,
# ,

T bT b,
C aC,

T aT a, T bT b,
Cb CP b,
P ba aP b,
P b# #b,
,
a,

(d) Identificadores en Java.

Soluci
on: G = (N, T, P, S) con:
N = {, }
T = {0, 1, ..., 9, a, b..., z, A, B, ..., Z, , $}

T C,
C bC,

T C,
P aa aP a,
P bb bP b,
C#
b

P ={

S ,
, $,
0|...|9,

a|...|z,
a|...|z,
, $,

A|...|Z,
A|...|Z,