Hãy định nghĩa Máy Turing là một mô hình tính toán trừu tượng. Mô tả các thành phần cấu tạo chính của nó (băng vô hạn, đầu đọc/ghi, bảng trạng thái) và cách nó thực hiện các phép tính. Giải thích vai trò của Máy Turing trong việc xác định khái niệm 'tính khả tính' (computability) và mối liên hệ của nó với máy tính hiện đại.