Subido por Alan Nava Ortiz

Maquina de Post

Anuncio
Capitulo 1:
Como
trabaja la
maquina de
post
JOSÉ FRANCISCO PÉREZ
ROMERO
A L A N N AVA O R T I Z
“Vista exterior”
de la maquina
de post
La maquina de post, como la maquina de
Turing representan en si una estructura
mental que solo existe en nuestra
imaginación, la maquina de post no
existe en realidad. Es utilizada con la
posibilidad de aprender el cálculo en el
ábaco o en la regla de calculo, sin tenerla
ante la vista, tan solo utilizando sus
descripciones.
La maquina de post consta de la cinta y
del carro. La cinta es infinita y se divide
en células de igual dimensión.
Primer aspecto. Instrucciones de movimiento a la derecha.
Programa para
la maquina de
post
El funcionamiento de la maquina de
Post consiste en que el carro se
desplaza a lo largo de la cinta e
imprime o vacía (borra) las marcas.
Este trabajo transcurre según
instrucciones de determinado
aspecto que se denominan
programa.
Cada uno de los programas de la
máquina de Post consta de
instrucciones. Llamaremos
instrucción de la maquina de Post la
expresión que tiene uno de los
siguientes aspectos
i. => j
Segundo aspecto. Instrucciones de movimiento a la izquierda.
i. <= j
Tercer aspecto. Instrucciones de impresión de la marca.
i. V j.
Cuarto aspecto. Instrucciones de vaciado (borrado) de la marca.
i. ξ j
Quinto aspecto. Instrucciones de salto del control.
/ 𝑗1
i. ?
\ 𝑗2
Sexto aspecto. Instrucciones de parada.
i. stop
Programa para
la maquina de
post
Denominaremos programa para la maquina
de Post la lista finite no vacía de las
instrucciones de la maquina de Post, que
posee las dos propiedades siguientes:
1)
En primer lugar en esta lista se
encuentra la instrucción con el número
1, en el segundo (si existe), la
instrucción con el número 2; en
general, en el k-esimo lugar esta la
instrucción con el número k.
2)
El salto de cualquiera de las
instrucciones que figuran en la lista
coincide con el número de cierta
instrucción (que puede ser otra o la
misma).
Variantes
Funcionamiento
de la maquina de
post
Si ahora después de prefijar el
programa y cualquier estado
inicial, se pone en marcha la
maquina, se realizara una de las
tres variantes.
1) Durante la ejecución del programa la maquina llegara al
cumplimiento de una instrucción irrealizable (impresión de
la marca en una célula no vacía o borrado de la marca en la
célula vacía); con ello, cesa el cumplimiento del programa,
la maquina separa; transcurre la llamada parada sin
resultados.
2) Al realizar el programa, la maquina alcanzara el
cumplimiento de la instrucción de parada; en este caso, el
programa se considera ejecutado, la maquina se para;
transcurre la llamada parada de resultados.
3) Durante la ejecución del programa la maquina no llegara
hasta el cumplimiento de ninguna de las instrucciones
indicadas en las dos primeras variantes; con ello, el
cumplimiento del programa nunca cesa, la maquina nunca
se para; el proceso de funcionamiento de la maquina
transcurre infinitamente.
Descargar