Máquina de Turing
El Aritmómetro y el Comptómetro son ordenadores mecánicos precursores del ordenadores digitales modernos. Los modelos utilizados para estudiar los ordenadores modernos se denominan Máquina de estado y Máquina de Turing.