controllo
controllo
controllo espressione formale contenente una o più variabili, che può essere vera o falsa a seconda dei valori assegnati alle variabili. Nell’esecuzione di un algoritmo un controllo consente l’alternativa tra due possibili insiemi di istruzioni da eseguire: uno è eseguito nel caso in cui il valore di verità sia «vero», l’altro nel caso in cui sia «falso». Un controllo sovrintende anche l’esecuzione di un ciclo, poiché dal suo valore di verità dipende la ripetizione o meno delle istruzioni del ciclo. Poiché nell’esecuzione di un algoritmo i valori assegnati alle variabili cambiano di passo in passo, il controllo permette di regolare il flusso delle informazioni in modo tale da giungere con un numero finito di passi al risultato. Nella rappresentazione degli algoritmi con diagrammi di flusso il controllo viene rappresentato da un rombo all’interno del quale è scritta l’espressione logica E da verificare; dai vertici del rombo si ripartiscono le sequenze di istruzioni da eseguire in corrispondenza del particolare valore logico assunto dall’espressione di controllo:
