"Los conceptos básicos y principios abstractos de la computación por una máquina fueron formuladas por el Dr A.