La traducción de los símbolos lógicos y matemáticos al idioma de las máquinas electrónicas se basa en dos ideas generales: