Concetti Chiave
- Gli errori formali includono errori sintattici e lessicali, che si riferiscono a frasi grammaticalmente scorrette o parole non riconosciute.
- Gli errori semantici, rilevati durante l'esecuzione, possono riguardare il sistema operativo o l'input/output, e includono errori critici e fatali.
- Gli errori critici e fatali possono causare il blocco del sistema, evidenziando la gravità di tali problematiche.
- La distinzione tra errori di tipo runtime e logico è fondamentale per comprendere la correttezza di un algoritmo.
- La correttezza dell'algoritmo è essenziale per evitare errori logici e garantire un funzionamento senza problemi del programma.
ERRORI FORMALI → segnalati automaticamente dal traduttore
E si distinguono in:
• Sintattici, nelle frasi non corrette dal punto di vista grammaticale;
o Es.: B:=*A*C;
• Lessicali, nelle parole non appartenenti al linguaggio.
o Es.: REOD(x) al posto di READ
Errori semantici o di tipo runtime
ERRORI SEMATICI O DI TIPO RUNTIME →rilevati in fase di esecuzione
E si distinguono in:
• Del SO (Sistema operativo);
o Es.: quando voglio salvare un video, ma non c’è più spazio;
• Di I/O (input e output);
o Es.: errore di stampa → errore di output;
o Es.: errore di tastiera → errore di input;
• Critici;
• Fatali.
I critici e i fatali possono far bloccare il sistema.
Errori di tipo logico
ERRORI DI TIPO LOGICO, cioè la correttezza dell’algoritmo.
Domande da interrogazione
- Quali sono i principali tipi di errori formali segnalati dal traduttore?
- Che cosa sono gli errori semantici o di tipo runtime e come si classificano?
- Cosa si intende per errori di tipo logico?
Gli errori formali si distinguono in errori sintattici, che riguardano frasi non corrette grammaticalmente, e errori lessicali, che coinvolgono parole non appartenenti al linguaggio, come ad esempio "REOD(x)" al posto di "READ".
Gli errori semantici o di tipo runtime vengono rilevati durante l'esecuzione e si suddividono in errori del sistema operativo, errori di input/output, e possono essere critici o fatali, con i secondi che possono bloccare il sistema.
Gli errori di tipo logico si riferiscono alla correttezza dell'algoritmo, indicando che, sebbene il codice possa essere sintatticamente corretto, la logica alla base dell'algoritmo può essere errata.