DETERMINISTICOS
RECURSIVIDAD
GRAMATICAS
LENGUAJES
AUTOMATAS
FORMALES
FINITOS
CHOMSKY
TURING
PILA
M
F
O
R
M
A
L
E
S
N
U
C
V
Y
Q
M
F
A
I
S
D
A
U
O
A
T
A
U
U
R
L
E
S
F
A
U
G
F
U
A
I
S
M
E
E
C
Q
C
R
O
U
U
Y
R
B
H
S
T
M
M
A
W
O
S
O
O
C
R
T
M
U
O
N
E
S
O
R
P
K
G
D
S
Z
I
E
O
L
Y
W
U
J
I
R
C
X
S
E
S
A
E
T
C
M
G
R
A
M
A
T
I
C
A
S
A
P
E
E
S
U
A
T
A
I
Q
U
A
A
R
F
X
X
U
R
O
I
R
T
U
R
I
N
G
E
M
F
Y
I
X
N
O
R
N
S
A
N
U
M
K
N
E
B
R
F
F
M
G
G
U
I
I
S
C
I
S
T
E
Z
E
R
U
Z
H
E
S
O
M
V
V
H
U
O
C
L
O
V
O
H
Y
G
Q
U
U
R
I
Y
O
O
T
A
A
E
A
I
A
D
K
W
Y
V
E
D
H
M
W
I
E
L
O
O
E
U
Y
Y
A
E
B
T
A
Z
S
O
N
U
I
O
I
H
T
Y
J
U
Q
Y
E
D
N
K
L
I
X
P
U
Y
N
F
P
D
M
I
E
D
B
W
Y
X
F
Q
R
I
P
E
L
B
P
S
A
K
Y
A
