Hãy mô tả cấu trúc lý thuyết của một Máy Turing. Giải thích nó là gì, cách nó hoạt động (băng vô hạn, đầu đọc/ghi, bộ điều khiển hữu hạn) và ý nghĩa của nó trong việc định nghĩa tính khả thi (computability).