PROBLEMA
COMPUTADORAS
LENGUAJE
AUTOMATA
NODETERMINISTA
INFINITA
DETERMINISTA
SIMBOLOS
MEMORIA
SIMBOLO
CADENA
FINITO
MAQUINA
SISTEMA
A
L
T
E
Q
B
J
O
M
V
S
T
Y
D
M
P
D
N
W
Q
X
X
I
W
E
K
I
B
E
A
J
R
R
E
M
G
E
O
X
I
E
R
E
F
O
I
Y
I
M
T
U
A
R
T
K
A
Z
S
M
Y
I
O
D
O
N
L
G
U
O
O
K
T
M
E
D
E
H
U
H
O
N
M
U
O
M
O
O
A
R
D
O
R
O
R
C
R
P
X
E
U
F
O
S
Y
A
U
D
G
I
N
A
E
S
M
A
A
P
V
X
A
I
H
H
E
Q
V
O
E
A
X
G
M
C
I
A
G
D
L
Z
D
N
I
U
W
U
E
X
P
T
U
X
U
P
N
M
T
K
E
I
C
I
X
I
G
I
E
I
D
R
E
Y
H
Z
I
N
B
A
Y
N
M
T
L
S
I
N
M
W
I
P
O
R
N
E
S
A
J
O
F
U
A
A
O
I
S
A
M
P
E
E
W
B
M
X
T
H
A
D
L
O
A
A
K
L
V
Y
N
E
U
O
V
O
L
I
A
D
O
R
D
O
R
D
P
U
A
R
O
Z
G
B
D
N
I
E
N
F
A
R
U
D
A
Z
Y
F
N
M
V
E
Q
I
B
O
M
M
M
I
I
J
Z
S
E
A
M
E
W
C
O
M
P
U
T
A
D
O
R
A
S
N
O
D
A
Y
Y
X
J
B
O
Y
M
A
Z
T
E
Y
U
X
S
T
I
X
U
N
P
E
U
L
E
N
G
U
A
J
E
E
I
B
K
L
A
T
H
O
E
T
I
Q
Q
Q
J
D
I
Z
T
K
A
E
T
X
U
Z
O
H
S
I
S
T
E
M
A
I
W
S
I
M
B
O
L
O
S
Y
K
U
M
M
B
I
E
Z
K
A
U
N
N
K
N
E
I
O
M
Q
A
