INSTITUTO TECNOLOGICO DE OAXACA

INGENIERIA EN SISTEMAS COMPUTACIONALES

TAREA: EJERCICIOS DE AFD Y AFND

MATERIA: LENGUAJES Y AUTOMATAS I PROFESOR: LUIS ALBERTO ALONSO HERNANDEZ INTEGRANTES DEL EQUIPO: PACHECO RICARDEZ LUIS ANGEL SANTAELLA GARCIA ARTURO

GRUPO: ISD HORA: 9-10 HRS. AULA: I-11

AUTOMATAS FINITOS DETERMINISTAS

a) La longitud de x es divisible entre 3

Aa= [a, b] Q= [q0, q1, q2, q3, q4, q5, q6] F= [q5, q6] a q1 q2 q5 q2 q5 q1 q1 b q3 q4 q6 q4 q6 q3 q3

q0 q1 q2 q3 q4 q5 q6

b) aba no es subpalabra de x

Aa= [a, b] Q= [q0, q1, q2, q3] F= [q0, q2, q3] a q1 q1 q3 q3 b q2 q0 q2 q0

q0 q1 q2 q3

c) Empieza con a y termina con ab

Aa= [a, b] Q= [q0, q1, q2, q3, q5] F= [q5] a q1 q1,q3 q3 q3 b q2 q2 q1,q5

q0 q1 q2 q3 q5

d) numero par de as y bs

Aa= [a, b] Q= [q0, q1, q2, q3] F= [q0] a q1 q0 q3 q2 b q2 q3 q0 q1

q0 q1 q2 q3

e) tres as consecutivas

Aa= [a, b] Q= [q0, q1, q2, q3, q4, q5] F= [q4, q5] a q1 q3 q1 q4 q4 q4 b q2 q2 q2 q2 q5 q5

q0 q1 q2 q3 q4 q5

f)

aba es la palabra final o seguida de bb

Aa= [a, b] Q= [q0, q1, q2, q3, q4, q5, q6] F= [q3, q6] a q1 q1 q3 q1 b q4 q1,q2 q5 q4 q6

q0 q1 q2 q3 q4 q5 q6

g) si empieza con a no contiene aa y si empieza por b si contiene aa

Aa= [a, b] Q= [q0, q1, q2, q3, q4, q5, q6] F= [q1, q4, q5, q6] a q1 q3 q4 q4 q5 q1 b q2 q6 q2 q5 q5 q6

q0 q1 q2 q3 q4 q5 q6

h) tiene un nmero par de apariciones de la cadena ab

Aa= [a, b] Q= [q0, q1, q2, q3, q4, q5, q6] F= [q4, q6] a q1 q1 q3 q3 q1,q6 q1 q6 b q5 q2 q2 q4 q4 q5

q0 q1 q2 q3 q4 q5 q6

i)

ab es subpalabra de x si y solo si ba es subpalabra de x

Aa= [a, b] Q= [q0, q1, q2, q3, q4] F= [q3, q4] a q1 q1 q3 q3 q4 b q2 q2 q2 q4 q4

q0 q1 q2 q3 q4

j)

(no se hizo)

k)

 Especial) x no contiene la subpalabra bab ni el sufijo aba

Aa= [a, b] Q= [q0, q1, q2, q3, q4] F= [q1, q3, q4] a q4 q4 q4,q2 q2 q4 b q1 q1 q3 q3

q0 q1 q2 q3 q4

AUTOMATAS FINITOS NO DETERMINISTAS

a) empieza y termina con a y dentro de ellas hay elementos b y c mltiplos de 4

Aa= [a, b, c] Q= [q0, q1, q2, q3, q4, q5, q6, q7] F= [q6] a q1, q7 b q2 q2 q2 q5 q2 q2 c q2 q2 q2 q5 q2 q2

q0 q1 q2 q3 q4 q5 q6 q7

q6

b) que el 5 elemento sea a

Aa= [a, b, c] Q= [q0, q1, q2, q3, q4, q5, q6] F= [q5] a q1 q2 q3 q4 q5 q5 q2 b q1 q2 q3 q4 q5 q2 c q1 q2 q3 q4 q5 q2

q0 q1 q2 q3 q4 q5 q6

c) ni aa ni bb

Aa= [a, b, c] Q= [q0, q1, q2, q3] F= [q1, q2, q3] a q1 q1 q1 b q2 q2 q2 c q3 q3 q3 q3

q0 q1 q2 q3

d) tiene ab y ba como subcadena

Aa= [a, b, c] Q= [q0, q1, q2, q3, q4, q5, q6, q7, q8] F= [q4,q8] a q1 q1 q2 q4 q4 q6 q7 q7 q8 b q5 q2 q3 q3 q4 q6 q8 q8 c q0 q0 q2 q2 q4 q0 q6 q6 q8

q0 q1 q2 q3 q4 q5 q6 q7 q8

e) ccc es sufijo de x y no pueden haber smbolos iguales en otra posicin de la cadena

Aa= [a, b, c] Q= [q0, q1, q2, q3, q4, q5] F= [q3] a q4 q4 b q5 q0 c q1 q2 q3 q1 q1

q0 q1 q2 q3 q4 q5

q5 q4

f)

x tiene tres smbolos iguales seguidos

Aa= [a, b, c] Q= [q0, q1, q2, q3, q4, q5, q7, q8] F= [q3] a q0,q1 q2 q3 q3 b q0,q4 c q0,q7

q0 q1 q2 q3 q4 q5 q7 q8

q3 q5 q3

q3

q8 q3

g) c en posicin mltiplos de 3

Aa= [a, b, c] Q= [q0, q1, q2, q3, q4] F= [q1, q2, q3, q4] a q1 q2 q2 q1,q3 b q1 q2 q2 q1,q3 c

q0 q1 q2 q3 q4

q4

 Especial) empieza y termina con a, entre ellas hay un nmero par de bs o un nmero
impar de cs

Aa= [a, b, c] Q= [q0, q1, q2, q3, q4, q6, q7] F= [q2] a q1,q6 b q3 q4 q3 q7 q6 c

q0 q1 q2 q3 q4 q6 q7

q2 q2