1. INSTITUTO
TECNOLOGICODE
APIZACO
INGENIERIA EN TECNOLOGIAS DE LA
INFORMACION Y COMUNICACIONES
MATEMATICAS DISCRETAS II
ELOY MUÑOZ ROMERO

2. AUTOMATAS
Características:
Un autómata de estado finito no determinado consiste en :
 Un conjunto finito ϯ de símbolos de entrada
 Un conjunto de estados finitos Ѕ
 Una función ƒ del siguiente estado de Ѕ x ϯ en Р (Ѕ)
 Un subconjunto de Α de Ѕ de estado de aceptación
 Un estado inicial de αЄ Ѕ
Ϯ={a,b} Ѕ={α,C,D} A={C,D}
T ƒ
S a b
α {α,c} {D}
C 0 {C}
D {C,D} 0
a b
αα a C a D
a
b
Estados de aceptación
aba
abba
aab
abba

3. b a a
a
€ ¥ ϯ
b
b
α=abba trayectoria
es aceptada (€,¥,€,€,¥)
Dibuje el diagrama de transición de una máquina de estado finito
b
€ ¥b ϯ={a,b}
a
b S={€,¥,ʓ,£}
a
a A={¥,£}
ʓ £ N={€,ʓ}
a b
ϯ f g
S a b a b
€ ¥ ʓ 1 0
¥ ʓ ¥ 0 1
ʓ ʓ £ 0 1
£ ¥ € 1 0
1= aceptación
0= no aceptación
aceptación