Diagrammi a blocchi e notazione lineare strutturata

Diagrammi a blocchi e notazione lineare strutturata

Nel corso degli ultimi cinquant'anni sono state utilizzate diverse tecniche di rappresentazione degli algoritmi, sempre con l'obiettivo di definire metodologie efficaci per descrivere gli algoritmi stessi, senza ricorrere a descrizioni discorsive non formalizzate, troppo generiche e appesantite da dettagli talvolta inutili.

Diagrammi a blocchi

Una tradizionale tecnica di rappresentazione è il diagramma a blocchi (DAB). Questa tecnica, nota anche come quella del diagramma di flusso o secondo la terminologia anglosassone flow-chart, si basa su una rappresentazione grafica della sequenza di operazioni dell'algoritmo. Un algoritmo viene strutturato in blocchi di istruzioni, ciascuno dei quali, a seconda della propria funzione, viene rappresentato mediante una particolare simbologia: linee orientate (connettori di flusso) collegano tra di loro i vari blocchi per indicare l'ordine di esecuzione delle operazioni dell'algoritmo. Esistono cinque tipi base di blocchi elementari descritti e rappresentati graficamente nella tabella.

Il diagramma a blocchi dell'algoritmo relativo alla determinazione del giorno della settimana di una data fornita come input è mostrato in figura.

Notazione lineare strutturata

Una tecnica di rappresentazione degli algoritmi alternativa è quella nota come notazione lineare strutturata (NLS), in cui i simboli sono sostituiti da parole chiave. La rappresentazione dell'algoritmo per determinare il giorno della settimana in NLS è la seguente:

Si noti come nella descrizione appena fornita non tutte le istruzioni abbiano il margine sinistro allineato: il margine sinistro più o meno orientrato viene utilizzato per migliorare la leggibilità della rappresentazione dell'algoritmo. In questo modo è possibile evidenziare la dipendenza di alcune istruzioni da altre. Per esempio, l'esecuzione delle due istruzioni Y ← Y - 1 e M ← M + 12 dipende dal verificarsi della condizione M < 2; inoltre, se la suddetta condizione è vera, le due istruzioni devono essere eseguite entrambe, come se fossero un unico blocco, e pertanto sono inserite in un costrutto del tipo Inizio...Fine.