Linguaggio formale che specifica un insieme di istruzioni che possono essere usate per produrre dati in uscita considerato a tutti gli effetti tale se è Turing-completo.