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.