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: paper

    Turing’s 1936 paper defines the machine model now called the Turing machine.

    Xuất bản: ·Truy cập: