espressione condizionale
espressione condizionale formula che può essere vera o falsa a seconda del valore assunto dalle variabili in essa contenute. Per esempio, nel corso dell’esecuzione di un programma la formula «A = B», in cui A e B sono variabili di tipo numerico, è vera o falsa a seconda del valore corrente assunto dalle due variabili. Tali espressioni, nei diagrammi di flusso che descrivono gli algoritmi, sono all’interno di uno schema di controllo rappresentato graficamente da un rombo seguito da due frecce. L’automa esecutore segue l’uno o l’altro percorso a seconda che, in quello stato, l’espressione condizionale risulti vera
o falsa:
L’espressione condizionale è quindi, di fatto, una variabile booleana inserita in una istruzione del tipo:
Essa indica che se la condizione in parentesi è vera allora si segue il percorso della sequenza 1, altrimenti quello della sequenza 2 (→ Böhm-Jacopini, teorema di).