Tiếng Việt
Quay lại dòng thời gian

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

  1. 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: