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: Bài báo
Bài báo năm 1936 của Turing định nghĩa mô hình máy mà ngày nay gọi là máy Turing.
Xuất bản: ·Truy cập: