E' indispensabile usare linguaggi in cui ogni frase abbia un significato preciso e univocamente interpretabile da un calcolatore.

Tali linguaggi sono chiamati linguaggi di programmazione, le frasi del linguaggio sono dette istruzioni e sequenze di istruzioni sono dette programmi.

• un programma è la descrizione (o implementazione) di un algoritmo in un qualche linguaggio di programmazione;
• un linguaggio di programmazione è un insieme di frasi (detti “programmi”) per cui esiste un calcolatore che li esegue.

Osservazione:

{matteo è ricco, marco ha la penna, maria mangia, mirella guarda, mirko legge}

è un insieme di frasi per cui non esiste un calcolatore che li possa eseguire