Визначення «комп'ютера загального призначення» може бути формалізоване у вимозі, щоб конкретний комп'ютер був здатний копіювати поведінку універсальної машини Тюрінга. Першим комп'ютером, який задовольнив таку умову, вважається машина Z3, створена Конрадом Цузе 1941 року.