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