Definió las características básicas del funcionamiento de las máquinas programables, hoy ordenadores.