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