icono letras

Lenguaje C--

Macros y utilidades

Núm. página
  1. nd
    • 1
    • 2
    • 3
    • 4
    • 5
    • 6
    • 7
    • 8
    • 9
  2. ndc
    • 0
    • nd
  3. ndcc
    • ε
    • ndcndcc
  4. natural
    ndndcc
  5. letra minúscula
    natural
  6. id
    cadena de caracteres
    • Ω
    • Φ
    • Ψ
    • natural
    • .id
    • :id
  7. x
    • 1
    • 0
    • =
  8. preinstrucción
    • xΩ
  9. preinstrucciones
    • ε
    • preinstrucciónpreinstrucciones

Postulado 1

Es verdad:

  1. 2 = 1 + 1
  2. 3 = 2 + 1
  3. 4 = 3 + 1
  4. 5 = 4 + 1
  5. 6 = 5 + 1
  6. 7 = 6 + 1
  7. 8 = 7 + 1
  8. 9 = 8 + 1

Postulado 1’

Si n = m + 1 es verdad, k = m + 1 es verdad si y sólo si n y k son el mismo natural.

Postulado 1’’

nndc1 = mndc2 + 1 es verdad si y sólo si una de las siguientes afirmaciones es verdad:

  1. n y m son el mismo natural, ndc1 es 1 y ndc2 es 0.
  2. n y m son el mismo natural, ndc1 no es 0, ndc2 no es 0 y ndc1 = ndc2 + 1 es verdad.
  3. ndc1 es 0, ndc2 es 9, y n = m + 1 es verdad.
x1
x
xn
xm

donde n = m + 1 es verdad.

Asignaciones

ZΩ = 0;
0Ω
ZΩ = 1;
0Ω1Ω
ZΩ = n;
ZΩ = m;
1Ω

donde n = m + 1 es verdad.

natural

Señales que pone el expansor de instrucciones, apuntando a una instrucción.

  1. La primera señal que pone es 1.
  2. Si pone una señal m, la siguiente señal será n, donde n = m + 1 es verdad.

Las asociación de señales a instrucciones es:

  1. si la señal apunta a una preinstrucción queda ligada a esa preinstrucción.
  2. si la señal apunta a una macroinstrucción, y texto1 es el resultado de expandir esta macroinstrucción, después de la expansión apuntará:

    • a la siguiente macroinstrucción o preinstrucción si texto1 es ε.
    • a la primera macroinstrucción o preinstrucción en texto1 si texto1 no es ε.
INIT
1
JUMP
=
NADA
JUMP
1
ZΩ = ZΩ;
ε
Z1 = ZΩ;
Z1 = 0;
JUMP
1i
=Ωi

con Ω distinto de 1.

ZΩ = ZΦ;
Z1 = ZΦ;
0Ω
JUMP
1Ωi
=Ωi

con Ω distinto de Φ.

Núm. página