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)… p>
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