MQUINA DE TURING

TEORA DEL AUTMATA

Enigma mquina que dispona de un
mecanismo de cifrado rotatorio, que permita
usarla tanto para cifrar como para descifrar
mensajes. Varios de sus modelos fueron muy
utilizados en Europa desde inicios de los aos
1920. Al principio de cada mes, se daba a los
operadores de la Enigma un nuevo libro que
contena las configuraciones iniciales para la
mquina. Por ejemplo, en un da particular las
configuraciones podran ser poner el rotor n. 1
en la hendidura 7, el n. 2 en la 4 y el n. 3 en la
6. Estn entonces rotados, para que la
hendidura 1 est en la letra X, la hendidura 2 en
la letra J y la hendidura 3 en la A. Como los
rotores podan permutarse en la mquina, con
tres rotores en tres hendiduras se obtienen
otras 3 x 2 x 1 = 6 combinaciones para
considerar, para dar un total de 105.456
posibles alfabetos.

Arthur Scherbius, el padre de la mquina
criptogrfica Enigma. sta, usada inicialmente por
la Marina alemana, la Kriegsmarine , fue
posteriormente adoptada por todas las fuerzas
armadas germanas para el encriptado y codificado
de sus comunicaciones secretas, principalmente las
instrucciones a los submarinos
Turing dise una mquina electrnica llamada la
Bombe, la cual se denomin de esta manera en honor a
la mquina bomba kryptologiczna, que serva para
eliminar una gran cantidad de claves enigmas candidatas.
La bombe de Turing, con varias mejoras con respecto a
su antecesora polaca, una de las mejoras aadidas, fue
sugerida por el matemtico Gordon Welchman. Esta
mejora fue la herramienta principal que utilizaron los
criptgrafos aliados para leer las transmisiones Enigma.
Este modelo est formado por un alfabeto de entrada y
uno de salida, un smbolo especial llamado blanco, un
conjunto de estados finitos y un conjunto de transiciones
entre dichos estados
Una forma diferente de decir
podra ser que la mquina escribe
sucesivamente todos los dgitos
en la cinta y para con el n-simo
dgito , (pude calcular el numero
hasta el decimal que queremos )
Un teorema es proposicin
que afirma una verdad
demostrable
Sea M una mquina de
Turing arbitraria con un
alfabeto de entrada . Puede
decidirse si la mquina M se
detendr con la entrada w?
La mquina P parar y
aceptar la entrada si M para
con w, y parar y rechazar la
entrada si M no para con w.
sigma delta

gamma
Multiplicar por 2 un binario

3x2 = 6
0011 x 2 = 0110

4x2 = 8
0100 x 2 = 1000
Sumar 1 a un binario

3+1 = 4
0011 + 1 = 0100

6+1 = 7
0110 + 1 = 0111