COMPUTACIONAL
SUBCONJUNTO
AUTOMATA
PALABRAS
SIMBOLOS
MODELOS
FINITO
MODELO
TURING
TEORIA
S
I
K
D
V
K
O
H
A
V
I
I
Y
U
G
I
D
O
L
L
F
I
B
O
J
K
R
Z
A
U
L
B
F
O
N
A
I
I
A
J
O
A
U
Q
E
B
O
A
O
I
B
N
P
N
I
E
I
U
I
D
G
O
E
S
A
L
S
O
Q
Q
T
E
P
O
O
T
I
N
I
F
S
O
O
I
N
V
A
T
A
M
O
T
U
A
Y
Y
O
W
L
C
S
G
I
B
L
I
E
A
K
X
W
V
X
A
O
A
C
N
P
Z
A
L
M
R
U
A
O
I
Z
I
B
T
N
I
H
C
B
X
O
P
C
O
W
A
K
I
M
U
K
R
N
U
R
R
D
X
O
A
V
R
N
T
I
P
E
U
O
C
A
I
E
O
A
S
F
N
U
U
S
M
O
T
I
S
S
U
L
F
O
E
H
E
R
G
R
O
O
K
P
C
E
P
O
O
E
E
K
M
X
W
A
C
F
X
O
M
O
D
E
L
O
S
G
M
O
S
U
B
C
O
N
J
U
N
T
O
O
O
G
E
I
C
I
T
E
O
R
I
A
P
I
I
U
O
B
Q
