Uma lógica de sistema que integra a sequência do código da linguagem de máquina