teoria della computazione

La teoria della computazione è quella branca della matematica che si preoccupa di definire quali proprietà possiede uno specifico linguaggio formale. Le principali proprietà ricercate da un linguaggio formale sono:

• La correttezza

Ogni volta che un linguaggio formale definisce un enunciato come vero questo enunciato deve effettivamente essere vero.