Reflexionando un poco sobre tu pregunta, podría agregarte que, si bien los códigos para ejecutar un programa dado, cambian de una máquina a otra. En lo conceptual todos las computadoras digitales se basan en lo mismo. Por tal motivo se las puede representar mediante un modelo formal de computador, como lo es la máquina de Turing.
