icono letras

Lenguaje C--

Definición

Las instrucciones formadas por los símbolos 1, 0, =, , y el símbolo marca: , de la manera definida abajo en la sección ‘instrucciones’, diremos que son instrucciones efectivas. Cualquier otra combinación de símbolos diremos que forman una instrucciones no válida. Una instrucción sin símbolos diremos que es una instrucción nula.

Un programa se forma escribiendo instrucciones en una lista ordenada L de posiciones. Si p es la posición ocupada por la primera instrucción escrita de un conjunto de instrucciones ℂ, diremos que ℂ se ha escrito a partir de la posición p.

Para formar un programa, un conjunto ℂ de instrucciones se escribe a partir de una posición p del siguiente modo:

  1. Si ℂ no tiene instrucciones no se escribe nada.
  2. Si ℂ tiene más de una instrucción, sea q la siguiente posición a p en la lista de instrucciones L, i la primera instrucción en ℂ que se escribirá y ℤ = ℂ - {i}. Para escribir ℂ:

    1. se escribe la instrucción i en p.

    2. se escribe el conjunto de instrucciones ℤ a partir de la posición q.

Se iniciará la ejecución de un programa compuesto por las instrucciones situadas en la lista ordenada de posiciones L ejecutando la instrucción situada en la primera posición de L.

El resultado de ejecutar una instrucción no válida o una instrucción nula es el final de la ejecución del programa (se para la ejecución). La síntaxis de las instrucciones efectivas y el resultado de su ejecución son los siguientes:

Instrucciones

  • marcar1 | marcar

    Se pone el símbolo «1» en la posición referida si no hay nada en dicha posición, o una marca si la posición no está vacía. La posición referida es:

    1. 1: primera posición.
    2. marcar: siguiente posición de la referida por marcar.
  • borrar0 | borrar

    Se quitan todas las marcas de la posición referida, y el símbolo «1» si lo hubiera. La posición referida es:

    1. 0: primera posición.
    2. borrar: siguiente posición de la referida por borrar.
  • comparar= | comparar

    Si el contenido de la posición referida es igual que el de la primera posición se salta la siguiente instrucción, no se ejecuta. En caso contrario la ejecución de instrucciones sigue normalmente. La posición referida es:

    1. =: primera posición.
    2. comparar: siguiente posición de la referida por comparar.

    El contenido de dos posiciones es igual si y sólo si una de las siguientes afirmaciones es cierta:

    1. En cada posición no hay nada.
    2. En cada posición hay solamente un símbolo.
    3. En cada posición hay símbolos «» y si se quita a ambas uno de los símbolos «» las posiciones son iguales.
  • saltar | saltar

    En vez de ejecutarse la siguiente instrucción se ejecuta la intrucción en la posición referida. La posición referida es:

    1. : primera posición.
    2. saltar: siguiente posición de la referida por saltar.