tailieunhanh - Bài giảng môn lý thuyết ôtômát và ngôn ngữ hình thức - Chương 9

Máy Turing PDA về một mặt nào đó mạnh hơn rất nhiều FSA. NNPNC-PDA vẫn còn giới hạn. Bên ngoài nó là gì? FSA và PDA khác nhau ở bản chất của bộ lưu trữ tạm thời. Nếu PDA dùng hai, ba stack, một hàng (queue), hay một thiết bị lưu trữ khác nào đó thì sức mạnh sẽ thế nào? Mỗi thiết bị lưu trữ định nghĩa một loại ôtômát mới và thông qua nó một họ ngôn ngữ mới? Ôtômát có thể được mở rộng đến chừng nào? Khả năng mạnh nhất có thể của ôtômát? Những giới hạn. | Chương 9 Máy Turing PDA về một mặt nào đó mạnh hơn rất nhiều FSA. NNPNC-PDA vẫn còn giới hạn. Bên ngoài nó là gì FSA và PDA khác nhau ở bản chất của bộ lưu trữ tạm thời. Nếu PDA dùng hai ba stack một hàng queue hay một thiết bị lưu trữ khác nào đó thì sức mạnh sẽ thế nào Mỗi thiết bị lưu trữ định nghĩa một loại ôtômát mới và thông qua nó một họ ngôn ngữ mới Ôtômát có thể được mở rộng đến chừng nào Khả năng mạnh nhất có thể của ôtômát Những giới hạn của việc tính toán Máy Turing ra đời và khái niệm về sự tính toán có tính máy móc hay giải thuật mechanical or algorithmic computation . Máy Turing là khá thô sơ nhưng đủ sức để bao trùm các quá trình rất phức tạp và luận đề Turing Turing thesis cho rằng bất kỳ quá trình tính toán nào thực hiện được bằng các máy tính ngày nay đều có thể thực hiện được bằng máy Turing. Trang 286 Lý thuyết Ôtômát NNHT - Khoa Công Nghệ Thông Tin Chương 9 Máy Turing Máy Turing chuẩn Kết hợp các máy Turing cho các công việc phức tạp Luận đề Turing Trang 287 Lý thuyết Ôtômát NNHT - Khoa Công Nghệ Thông Tin Máy Turing chuân Định nghĩa Một máy Turing M được định nghĩa bằng bộ bảy M Q s r ỗ q F - Q là tập hữu hạn các trạng thái nội s là tập hữu hạn các kí hiệu được gọi là bảng chữ cái ngõ nhập r là tập hữu hạn các kí hiệu được gọi là bảng chữ cái băng ỗ là hàm chuyên trạng thái e r là một kí hiệu đặc biệt gọi là khoảng trắng blank q0 e Q là trạng thái khởi đầu F c Q là tập các trạng thái kết Control unit thúc. Input Storage Output Trang 288 Lý thuyết Ôtômát NNHT - Khoa Công Nghệ Thông .