1.3: El bit de control
- Page ID
- 82240
En los programas de computadora, a menudo se utilizan expresiones booleanas para determinar el flujo de control, es decir, qué sentencias se ejecutan. Supongamos, por ejemplo, que si una variable\(x\)\(y\) es negativa y otra positiva, entonces una tercera variable\(z\) debe establecerse en cero. En el esquema de lenguaje, la siguiente afirmación lograría esto: (si (< x 0) (> y (y 0)) (definir z 0)) (otros idiomas tienen sus propias formas de expresar lo mismo).
El álgebra de bits de control es como álgebra booleana con una diferencia interesante: cualquier parte de la expresión de control que no afecte al resultado puede ser ignorada. En el caso anterior (suponiendo que los argumentos de y se evalúen de izquierda a derecha), si se\(x\) encuentra positivo entonces el resultado de la operación y es 0 independientemente del valor de\(y\), por lo que no hay necesidad de ver si\(y\) es positivo o incluso de evaluar\(y\). Como resultado, el programa puede funcionar más rápido, y los efectos secundarios asociados con la evaluación\(y\) no ocurren.