Máy Turing
Thời kỳ: Lý thuyết Sơ khai · những năm 1930–những năm 1950
Alan Turing giới thiệu khái niệm máy Turing trong bài báo mang tính bước ngoặt “Về các Số Tính toán được, với Ứng dụng cho Entscheidungsproblem”. Mô hình tính toán trừu tượng này có thể mô phỏng bất kỳ quá trình tính toán nào về mặt toán học.
Alan Turing (1912–1954)
Nguồn và bằng chứng
On Computable Numbers, with an Application to the Entscheidungsproblem
London Mathematical Society · Loại nguồn: paper
Turing’s 1936 paper defines the machine model now called the Turing machine.
Xuất bản: ·Truy cập: