MODELOCOMPUTACIONAL
NODETERMINISTA
DETERMINISTA
AUTOMATICA
COMPILADOR
INTERPRETE
AUTOMATAS
LENGUAJE
ALFABETO
ANALISIS
FINITOS
MAQUINA
ENTRADA
FINITO
Q
E
O
D
F
Y
X
M
I
U
K
I
W
C
F
Q
Q
E
P
V
I
B
Z
E
O
F
A
U
V
Z
N
W
Q
E
X
E
D
L
R
C
U
N
C
O
A
M
A
D
W
A
Z
O
M
X
I
J
C
A
A
I
O
I
O
G
P
T
A
F
X
U
O
A
U
J
M
A
Q
U
I
N
A
M
A
D
L
J
X
C
R
A
L
F
A
B
E
T
O
R
E
E
O
S
P
J
E
J
A
W
T
Y
L
E
A
U
U
S
K
F
D
O
L
I
F
I
L
T
Y
K
U
Y
I
S
T
D
I
K
A
A
E
L
K
I
C
R
L
E
E
G
J
N
A
A
W
G
A
D
S
T
E
I
M
Z
L
A
F
A
N
R
S
Y
A
C
J
Q
P
R
O
V
A
P
W
E
D
L
T
C
D
G
M
I
X
M
J
O
X
W
T
H
I
M
D
A
T
K
C
U
H
O
U
I
S
O
Z
I
Y
U
U
N
B
E
O
O
C
B
E
E
P
W
R
A
N
I
Q
A
I
U
I
L
E
G
N
T
X
I
H
B
I
M
F
P
J
I
L
K
J
J
E
N
A
A
R
I
U
V
T
P
P
I
O
B
O
E
S
A
I
E
I
V
A
V
S
O
Q
A
E
A
L
O
U
C
K
P
Z
T
N
O
A
F
U
E
A
W
R
G
U
U
M
I
O
K
O
Z
B
I
A
A
H
L
I
Y
I
I
R
H
A
L
E
O
N
A
F
L
F
W
F
E
H
U
I
N
T
E
R
P
R
E
T
E
T
O
E
C
E
B
O
I
E
I
D
T
I
U
E
O
D
G
G
T
A
U
U
G
Z
D
G
F
N
R
I
L
A
T
U
F
S
K
W
D
J
R
A
D
B
W
O
E
U
I
S
A
Q
T
O
K
K
K
Y
Q
A
W
O
V
B
U
K
M
I
S
T
K
Q
J
X
S
E
V
Z
D
E
T
E
R
M
I
N
I
S
T
A
O
H
