Entradas

f.A , B, C, D
A, B, C, D

f
P
q0
q1
q2
q3
r0
r1
r2
r3
r4
r5
s0
s1
s2
s3
t

A
qo
q0
r0
r1
r2
r0
r1
r2
s0
s1
s2
s0
s1
s2
t
t

B
q1
r0
q1
r3
r4
r0
s0
s1
r3
r4
s3
s0
s1
t
s3
t

C
q2
r1
r3
q2
r5
s0
r1
s2
r3
s3
r5
s0
t
s2
s3
t

q3
y

r0
x

D
q3
r2
r4
r5
q3
s1
s2
r2
r2
r4
r5
t
s1
s2
s3
t

A
p
p
q1
q2
q3
q1
q2
q2
q3
r4
r5
r3
r4
r5
s3
s3

B
p
q0
p
q2
q3
q0
r1
r2
q2
q3
r5
r1
r2
s2
r5
s2

C
p
q0
q1
p
q3
r0
q0
r2
q1
r4
q3
r0
s1
r2
r4
s1

D
p
q0
q1
q2
p
r0
r1
q0
r3
q1
q2
s0
r0
r1
r3
s0

Salidas
x,y
g .g
S

p
x

q0
x

Funcin p
f (p,A) = qo
f (p,B) = q1
f (p, C) = q2
f (p,D) = q3
f (p,A) = p
f (p,B) = p
f (p, C) = p
f (p,D) = p
g (p) = x

q1
x

q2
y

r1
y

r2
x

r3
x

r4
y

r5
y

s0
x

s1
x

s2
y

s3
y

t
x

Funcin de q0
f (q0,A) = qo
f (q0,B) = r0
f (q0, C) =r1
f (q0,D) =r2
f (q0,A) = p
f (q0,B) = r0
f (q0, C) = r0
f (q0,D) = r0
g (q0) = x
Funcin de q1
f (q1,A) = r0
f (q1,B) = q1
f (q1, C) =r3
f (q1,D) =r4
f (q1,A) = q1
f (q1,B) = p
f (q1, C) = q1
f (q1,D) = q1
g (q1) = x
Funcin de q2
f (q2,A) = r1
f (q2,B) = r3
f (q2, C) =q2
f (q2,D) =r5
f (q2,A) = q2
f (q2,B) = q2

f (q2, C) = p
f (q2,D) = q2
g (q2) = y
Funcin de q3
f (q3,A) = r2
f (q3,B) = r4
f (q3, C) =r5
f (q3,D) =q3
f (q3,A) = q3
f (q3,B) = q3
f (q3, C) = q3
f (q3,D) = p
g (q3) = y
Funcin de r0
f (r0,A) = r0
f (r0,B) = r0
f (r0, C) =s0
f (r0,D) =s1
f (r0,A) = q1
f (r0,B) = q0
f (r0, C) = r0
f (r0,D) = r0
g (r0) = x
Funcin de r1
f (r1,A) = r1
f (r1,B) = s0
f (r1, C) =r1

f (r1,D) =s2
f (r1,A) = q2
f (r1,B) = r1
f (r1, C) = q0
f (r1,D) = r1
g (r1) = y
Funcin de r2
f (r2,A) = r2
f (r2,B) = s1
f (r2, C) =s2
f (r2,D) =r2
f (r2,A) = q3
f (r2,B) = r2
f (r2, C) = r2
f (r2,D) = q0
g (r2) = x
Funcin de r3
f (r3,A) = s0
f (r3,B) = r3
f (r3, C) =r3
f (r3,D) = s3
f (r3,A) = r3
f (r3,B) = q2
f (r3, C) = q1
f (r3,D) = r3
g (r3) = x
Funcin de r4

f (r4,A) = s1
f (r4,B) = r4
f (r4, C) = s3
f (r4,D) = r4
f (r4,A) = r4
f (r4,B) = q3
f (r4, C) = r4
f (r4,D) = q1
g (r4) = y
Funcin de r5
f (r5,A) = s2
f (r5,B) = s3
f (r5, C) = r5
f (r5,D) = r5
f (r5,A) = r5
f (r5,B) = r5
f (r5, C) = q3
f (r5,D) = q2
g (r5) = y
Funcin de S0
f (s0,A) = s0
f (s0,B) = s0
f (s0, C) = s0
f (s0,D) = t
f (s0,A) = r3
f (s0,B) = r1
f (s0, C) = r0

f (s0,D) = s0
g (s0) = x
Funcin de S1
f (s1,A) = s1
f (s1,B) = s1
f (s1, C) = t
f (s1,D) = s1
f (s1,A) = r4
f (s1,B) = r2
f (s1, C) = s1
f (s1,D) = r0
g (s1) = x
Funcin de S2
f (s2,A) = s2
f (s2,B) = t
f (s2, C) = s2
f (s2,D) = s2
f (s2,A) = r5
f (s2,B) = s2
f (s2, C) = r2
f (s2,D) = r1
g (s2) = y
Funcin de S3
f (s3,A) = t
f (s3,B) = s3
f (s3, C) = s3
f (s3,D) = s3

f (s3,A) = s3
f (s3,B) = r5
f (s3, C) = r4
f (s2,D) = r3
g (s3) = y
Funcin de t
f (t, A) = t
f (t, B) = t
f (t, C) = t
f (t, D) = t
f (t, A) = s3
f (t, B) = s2
f (t , C) = s1
f (t ,D) = s0
g (t) = x

Tabla de Transicin
f
P/x
q0 / x
q1 / x
q2 / y
q3 / y
r0 / x
r1 / y
r2 / x
r3 / x
r4 / y
r5 / y
s0 / x
s1 / x
s2 / y
s3 / y
t/x

A
q0
q0
r0
r1
r2
r0
r1
r2
s0
s1
s2
s0
s1
s2
t
t

B
q1
r0
q1
r3
r4
r0
s0
s1
r3
r4
s3
s0
s1
t
s3
t

C
q2
r1
r3
q2
r5
s0
r1
s2
r3
s3
r5
s0
t
s2
s3
t

D
q3
r2
r4
r5
q3
s1
s2
r2
r2
r4
r5
t
s1
s2
s3
t

A
p
p
q1
q2
q3
q1
q2
q2
q3
r4
r5
r3
r4
r5
s3
s3

B
p
q0
p
q2
q3
q0
r1
r2
q2
q3
r5
r1
r2
s2
r5
s2

C
p
q0
q1
p
q3
r0
q0
r2
q1
r4
q3
r0
s1
r2
r4
s1

D
p
q0
q1
q2
p
r0
r1
q0
r3
q1
q2
s0
r0
r1
r3
s0