Una logica di sistema che integra la sequenza del codice del linguaggio macchina