Resultados de la traducción de expresiones booleanas

Al diseñar algoritmos de traducción de expresiones booleanas (es decir, escribir acciones semánticas), se pueden definir y utilizar los siguientes tres tipos de cuaterniones:

(jnz, A1,, p) — p) — cuando A1 Cuando es verdadero (distinto de cero), pase a la fórmula p-quater;

(jrop, A1, A2, p) Cuando se establezca la relación A1 rop A2, pase a p-quater;

(j,,,P) incondicionalmente se convierte en P cuaternario

Por ejemplo, para una declaración condicional

Si A∨B<c entonces S1, en caso contrario S2

Después de la traducción, se puede obtener la secuencia de cuatro niveles:

(1) (jnz, A, -, 5)

(2) (j, -, -, 3 )

(3)(j<,B,C,5)

(4) (j,-,-,p+1)

( 5) Corresponde a la secuencia de cuarto nivel de S1.

(p) (j, -, -, q)

(p+1) La secuencia de cuarto nivel correspondiente a S2

(q)…

Entre ellos, la salida verdadera de la expresión A es 5 (también la salida verdadera de toda la expresión), y la salida falsa es 3 (es decir, la expresión B