Hãy mô tả định nghĩa hình thức của một Máy Turing. Giải thích chức năng của băng vô hạn, đầu đọc/ghi và bảng trạng thái chuyển tiếp. Thảo luận về Luận đề Church-Turing và ý nghĩa của nó đối với giới hạn của khả năng tính toán. Tại sao Máy Turing được coi là mô hình cơ bản của máy tính hiện đại dù là một khái niệm trừu tượng?