Quali sono i compiti per ognuno dei soggetti seguenti

	Programmatore …
	Esecutore …
	Risolutore …
	Compilatore …

La tesi di Church afferma che …

Un problema è computabile se …

Cosa s’intende per linguaggi di alto / basso livello …

Realizza un programma per la macchina di Turing che calcola l’operazione logica AND su 2 bit. Devi eseguire i passi:

	analisi con esempi e algoritmo verbale (4)
	diagramma di stato (3)
	tabella delle transizioni di stato (2)
	quintuple. (1)