Universidad Nacional de

Cajamarca FACULTAD DE INGENIERÍA

ESCUELA ACADÉMICO – PROFESIONAL DE INGENIERÍA DE SISTEMAS

ASIGNATURA:
TEORÍA DE AUTOMATAS Y LENGUAJES FORMALES.

TEMA:
“AUTOMATAS NO DETERMINITAS”

ALUMNO:
ARANA VARGAS, Ever Omar.
COBA SLAZAR, Franklin Jhonatan

DOCENTE:
RODRÍGUEZ ÁVILA, Sandra.
BAZAN DIAZ, Laura Sofia.

GRUPO:
“B”

Cajamarca, 02 de febrero del 2024

 1. Definir el autómata finito que reconozca L = {b mcdn, para m≥0 y n>0}, indicar la
expresión regular del lenguaje que reconoce.

b*cd+

AF: {Q, Te, δ, q1, F} δ b c d

Q: {q0, q1, q2} q0 q0 q1 --
Te: {b, c, d} q1 -- -- q2
q1: {q0} q2 -- -- q2
F: {q2}

2. Definir el autómata finito para el reconocimiento de números pares base 6.

AF: {Q, Te, δ, q1, F}

Q: {q0, q1}
Te: {0, 1, 2, 3, 4, 5}
q1: {q0}
F: {q1}

δ 0 1 2 3 4 5
q0 q0 , q1 q0 q0 , q1 q0 q0 , q1 q0
q1 ------- --- ------- --- ------- ---

Cambiando a determinista

AFND: {Q’, Te, δ´, q1, F´}

δ´ 0 1 2 3 4 5
q0 q0 , q1 q0 q0 , q1 q0 q0 , q1 q0
q1 ------- --- ----- --- ----- ---
q0 q1 q0 , q1 q0 q0 , q1 q0 q0 , q1 q0

3. Definir el autómata finito para el reconocimiento de tiras que inician con 0 o 1, seguido
de tiras pares de 01 y que finalizan con 1.

δ 0 1
AF: {Q, Te, δ, q1, F}
q1 q2 q2
Q: { q1, q2, q3, q4, q5} q2 q3 ---
Te: {0, 1} q3 --- q4
q1: {q1} q4 q5 ---
F: {q2} q5 --- q2
 4. Definir el autómata finito que reconozca L = {ab mcdn, para m>0 y n>0}, indicar la
expresión regular del lenguaje que reconoce.

ab+cd+ δ a b c d
q0 q1 --- --- ---
AF: {Q, Te, δ, q1, F}
q1 --- q2 --- ---
Q: { q0, q1, q2, q3, q4} q2 --- q2 q3 ---
Te: {a, b, c, d} q3 --- --- --- q4
q1: {q0} q4 --- --- --- q4
F: {q4}

5. Definir el autómata finito que reconozca lenguajes de la siguiente expresión regular:

a*b*a+b+a

AF: {Q, Te, δ, q1, F} δ a b λ

Q: { q0, q1, q2, q3, q4} q0 q0 --- q2
Te: {a, b, λ} q1 q2 q1 ---
q1: {q0} q2 q2 q3 ---
F: {q4} q3 q4 q3 ---
q4 --- --- ---

6. Definir el autómata finito que reconozca lenguajes de la siguiente expresión regular:

(0|1)*(01)*(0|1)+

AF: {Q, Te, δ, q1, F} δ 0 1 λ

Q: { q0, q1, q2, q3 } q0 q0 q0 q1
Te: {0, 1, λ} q1 q2 , q3 q3 ---
q1: {q0} q2 ------- q1 ---
F: {q3} q3 q3 q3 ---

Convertimos a determinista
AFND: {Q´, Te, δ´, q1, F´}
δ 0 1 λ
q0 q0 q0 q1
q1 q2 , q3 q3 ---
q 2q 3 q3 q1 q3 ---
q3 q3 q3 ---
q 1q 3 q2 q3 q3 ---
 7. Definir el autómata finito que reconozca lenguajes de la siguiente expresión regular:
(ab|ba)*(a| λ)*

AF: {Q, Te, δ, q1, F} δ a b λ

Q: { q0, q1, q2} q0 q0 , q1 q2 q0
Te: {a, b, λ} q1 ------- q0 ---
q1: {q0} q2 q0 --- ---
F: {q0}

Convertimos a determinista
AFND: {Q´, Te, δ´, q1, F´}

δ´ a b λ
q0 q 0 q1 q2 q0
q 0q 1 q0 q1 q0 q2 q0
q2 q0 --- ---
Q 0 q2 q 0 q1 q0 q2 q0

8. Definir el autómata finito que reconozca L = {a mbndp, para m≥0, n>0 y p≥2}, indicar la
expresión regular del lenguaje que reconoce.

a*b+dd+

AF: {Q, Te, δ, q1, F} δ a b d

Q: { q0, q1, q2, q3 } q0 q0 q1 ---
Te: {a, b, d} q1 -- q1 q2
q1: {q0} q2 -- --- q3
F: {q3} q3 -- --- q3

9. Definir el autómata finito que reconozca indicadores (variables)(<letra>)(<letra>|

<dígito>)

AF: {Q, Te, δ, q1, F} δ <letra> <dígito>

Q: { q0, q1} q0 q1 ------------
Te: {<letra>, <dígito>} q1 q1 q1
q1: {q0}
F: {q1}

10. Definir el autómata finito que reconozca tiras que inician con a o b, seguido por aes o
bes. Indicar la expresión regular.

AF: {Q, Te, δ, q1, F} δ a b

Q: {q0, q1, q2} q0 q1 q1
Te: {a, b} q1 q2 q2
q1: {q0} q2 q2 q2
F: {q2}
 11. Definir el autómata finito que reconozca L = {ef mefn, para m>1 y n>3}, indicar la
expresión regular del lenguaje que reconoce.

AF: {Q, Te, δ, q1, F} δ e f

Q: {q0, q1, q2, q3, q4, q5, q6, q7} q0 q1 --------
q1 ----- q2
Te: {e, f}
q2 ----- q2 , q3
q1: {q0}
q3 q4 --------
F: {q7}
q4 ----- q5
q5 ----- q6
q6 ----- q7
q7 ----- q7

Convertimos a determinista
AF: {Q´, Te, δ´, q1, F´}

δ´ e f
q0 q1 --------
q1 ----- q2
q2 ----- q2 q3
q 2 q3 q4 q2 q3
q3 q4 --------
q4 ----- q5
q5 ----- q6
q6 ----- q7
q7 ----- q7
 12. Definir el autómata finito que reconozca lenguajes de la siguiente expresión regular:
a*b* a*b*a

AF: {Q, Te, δ, q1, F}

δ a b
Q: {q0, q1, q2, q3} q0 q1 --------
Te: {a, b} q1 q1 q2
q1: {q0} q2 q3 q2
F: {q3} q3 q3 q3

13. Definir el autómata finito que reconozca lenguajes de la siguiente expresión regular:
(0|1)+(01)(0|1)*

AF: {Q, Te, δ, q1, F}

Q: {q0, q1, q2, q3}
δ 0 1
Te: {0, 1} q0 q1 q1
q1: {q0} q1 q1 , q2 q1
F: {q1} q2 ------- q3
q3 q1 q1

Convertimos a determinista

AFND: {Q´, Te, δ´, q1, F´}

δ 0 1
q0 q1 q1
q1 q1 , q2 q1
q1 q2 q1 q2 q1 q3
q1 q3 q1 q1 q3

14. Definir el autómata finito que reconozca lenguajes de la siguiente expresión regular:
(ab|ba)+(b| λ)+

AF: {Q, Te, δ, q1, F} δ a b λ

Q: { q0, q1, q2, q3} q0 q1 q3 ---
Te: {a, b, λ} q1 --- q2 ---
q1: {q0} q2 --- q0 q0
F: {q0} q3 q2 --- ---
 15. Definir el autómata finito que reconozca L = {aa mbncp, para m≥0, n>0}, p≥1}, indicar la
expresión regular del lenguaje que reconoce.

a+b+c+

AF: {Q, Te, δ, q1, F} δ a b c

Q: { q0, q1, q2, q3} q0 q1 --- ---
Te: {a, b, c} q1 q1 q2 ---
q1: {q0} q2 --- q2 q3
F: {q3} q3 --- --- q3

16. Definir el autómata finito para el reconocimiento de números impares base 10.

AF: {Q, Te, δ, q1, F}

Q: {q0, q1}
Te: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}
q1: {q0}
F: {q1}

δ 0 1 2 3 4 5 6 7 8 9
q0 Q0 Q 0 q1 Q0 Q 0 q1 q1 Q 0 q1 Q0 Q0 q1 Q0 q 0 q1
q1 ------- ------- --- ------- --- ------- --- ------- --- -------

Convertimos a determinista AFND: {Q´, Te, δ´, q1, F´}

δ´ 0 1 2 3 4 5 6 7 8 9
q0 q1 q 1 q2 q1 q 1 q2 q2 q 1 q2 q1 q1 q2 q1 q 1 q2
q 0q 1 Q0 Q 0 q1 Q0 Q 0 q1 q1 Q 0 q1 Q0 Q0 q1 Q0 q 0 q1