UNIVERSIDAD NACIONAL DE LOJA

TG-CIS-UNL

rea de la Energa, las Industrias y los Recursos Naturales No Renovables _________________________________________________________________________ CARRERA DE INGENIERA EN SISTEMAS
Nombres: Jhymer Martnez. Luis Bravo. Paralelo: Fecha: Docente: 9no B 10/10/13 Ing. Franco Salcedo. TRABAJO GRUPAL N 3

1.

Razona la veracidad o falsedad de la siguiente afirmacin, apoyndote en la teora vista en clase. Si M = (Q, , , q0, F) es un autmata finito determinista totalmente especificado con F = Q, entonces L(M) = La afirmacin es verdadera ya que la expresin F=Q, nos indica que el

conjunto de estados finales es igual al conjunto de estados, situacin que podra darse, as mismo el lenguajes aceptado L(M) es equivalente entre un autmata finito determinista y un autmata finito determinista totalmente especificado aplicando la Cerradura de Klenne.

M.Sc. Ing Franco Salcedo.

UNIVERSIDAD NACIONAL DE LOJA

TG-CIS-UNL

rea de la Energa, las Industrias y los Recursos Naturales No Renovables _________________________________________________________________________ CARRERA DE INGENIERA EN SISTEMAS 2. Sea M = (Q, , , q0, F) un AFD con Q = {q0,q1,q2}, = {a, b}, F = {q2} y la funcin de transicin :

a q0 q2 q2

b q1 q1 q0

q0 q1 q2

q q0 q1 q2 q1 q2 q0

a b a b a b

q q0 q0 q1 q1 q2 q2

M.Sc. Ing Franco Salcedo.

UNIVERSIDAD NACIONAL DE LOJA

TG-CIS-UNL

rea de la Energa, las Industrias y los Recursos Naturales No Renovables _________________________________________________________________________ CARRERA DE INGENIERA EN SISTEMAS a) Dibuja el autmata M

b) Traza los cmputos de M que procesan las palabras abaa, bbbabb, bababa bbbaa abaa

M.Sc. Ing Franco Salcedo.

UNIVERSIDAD NACIONAL DE LOJA

TG-CIS-UNL

rea de la Energa, las Industrias y los Recursos Naturales No Renovables _________________________________________________________________________ CARRERA DE INGENIERA EN SISTEMAS bbbabb

bababa

bbbaa

c) Qu palabras de las procesadas en (b) son aceptadas por M? Fueron aceptadas: abaa, bababa

M.Sc. Ing Franco Salcedo.

UNIVERSIDAD NACIONAL DE LOJA

TG-CIS-UNL

rea de la Energa, las Industrias y los Recursos Naturales No Renovables _________________________________________________________________________ CARRERA DE INGENIERA EN SISTEMAS 3. Busca tres palabras aceptadas y tres palabras rechazadas por cada uno de los siguientes autmatas mostrando el cmputo que las procesa. Determina cules de ellos estn totalmente especificados. Sabras cul es el lenguaje aceptado por cada uno de ellos?

Palabras Aceptadas ab aab aaaab

Palabras Rechazadas abbaa aabba bbba

M.Sc. Ing Franco Salcedo.

UNIVERSIDAD NACIONAL DE LOJA

TG-CIS-UNL

rea de la Energa, las Industrias y los Recursos Naturales No Renovables _________________________________________________________________________ CARRERA DE INGENIERA EN SISTEMAS

Tabla de Transiciones:

q q0 q1 q1 q2 q2 q3 q3 q0 q4 q4

a a b a b a b a a b

q q1 q1 q2 q3 q3 q3 q3 q4 q3 q3

Palabras Aceptadas aba abababa abababababa

Palabras Rechazadas aab bbaa ababab

M.Sc. Ing Franco Salcedo.

UNIVERSIDAD NACIONAL DE LOJA

TG-CIS-UNL

rea de la Energa, las Industrias y los Recursos Naturales No Renovables _________________________________________________________________________ CARRERA DE INGENIERA EN SISTEMAS

Tabla de Transiciones:

q q0 q1 q1 q3 q0

a b a a b

q q1 q0 q2 q3 q3

M.Sc. Ing Franco Salcedo.

UNIVERSIDAD NACIONAL DE LOJA

TG-CIS-UNL

rea de la Energa, las Industrias y los Recursos Naturales No Renovables _________________________________________________________________________ CARRERA DE INGENIERA EN SISTEMAS

Palabras Aceptadas aabbb aaaabb aabbb

Palabras Rechazadas bab bbbbaaaa abbaab

Tabla de Transiciones:

q q0 q0 q1 q1 q2 q2

a b b a a b

q q0 q1 q1 q2 q2 q2

M.Sc. Ing Franco Salcedo.

UNIVERSIDAD NACIONAL DE LOJA

TG-CIS-UNL

rea de la Energa, las Industrias y los Recursos Naturales No Renovables _________________________________________________________________________ CARRERA DE INGENIERA EN SISTEMAS

Palabras Aceptadas abababab abab ababab

Palabras Rechazadas bbabbab aaabbaa bbbaaab

M.Sc. Ing Franco Salcedo.

UNIVERSIDAD NACIONAL DE LOJA

TG-CIS-UNL

rea de la Energa, las Industrias y los Recursos Naturales No Renovables _________________________________________________________________________ CARRERA DE INGENIERA EN SISTEMAS
Tabla de Transiciones:

q q0 q1 q1 q2 q2 q3 q3 q0

a b a b a a b b

q q1 q0 q2 q1 q3 q3 q3 q3

Palabras Aceptadas aabb abaabb ababaabb

Palabras Rechazadas aaab bbba aaaab

M.Sc. Ing Franco Salcedo.

UNIVERSIDAD NACIONAL DE LOJA

TG-CIS-UNL

rea de la Energa, las Industrias y los Recursos Naturales No Renovables _________________________________________________________________________ CARRERA DE INGENIERA EN SISTEMAS

Tabla de Transiciones:

q q0 q1 q1 q2 q2 q3 q3 q0

a b a b a a b b

q q1 q0 q2 q1 q3 q3 q3 q3

M.Sc. Ing Franco Salcedo.

UNIVERSIDAD NACIONAL DE LOJA

TG-CIS-UNL

rea de la Energa, las Industrias y los Recursos Naturales No Renovables _________________________________________________________________________ CARRERA DE INGENIERA EN SISTEMAS

Palabras Aceptadas bbabba baababba aaabba

Palabras Rechazadas bbbbaaabb aabbbbaa bbbaaabbbaa

M.Sc. Ing Franco Salcedo.

UNIVERSIDAD NACIONAL DE LOJA

TG-CIS-UNL

rea de la Energa, las Industrias y los Recursos Naturales No Renovables _________________________________________________________________________ CARRERA DE INGENIERA EN SISTEMAS
Tabla de Transiciones:

q q0 q1 q2 q2 q3 q3 q4 q4 q1 q5

a b b a b a b a a a

q q1 q2 q5 q4 q0 q1 q3 q1 q4 q4

M.Sc. Ing Franco Salcedo.

UNIVERSIDAD NACIONAL DE LOJA

TG-CIS-UNL

rea de la Energa, las Industrias y los Recursos Naturales No Renovables _________________________________________________________________________ CARRERA DE INGENIERA EN SISTEMAS

Palabras Aceptadas aabbaab aabbaabababbbb aabbbaabbaaa

Palabras Rechazadas aba abaaba baaba

Tabla de Transiciones:

q q0 q0 q1 q1 q2 q3 q3

a b a b b a b

q q1 q0 q1 q3 q3 q2 q0

M.Sc. Ing Franco Salcedo.

UNIVERSIDAD NACIONAL DE LOJA

TG-CIS-UNL

rea de la Energa, las Industrias y los Recursos Naturales No Renovables _________________________________________________________________________ CARRERA DE INGENIERA EN SISTEMAS

M.Sc. Ing Franco Salcedo.