Linguaggi di programmazione

• Notazione formale per l'implementazione d algoritmi

• Linguaggio artificiale

• Compromesso uomo-automa