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