Una lógica de sistema que integra la secuencia del código de lenguaje de máquina