tailieunhanh - Tin học lý thuyết - Chương 7

MÁY TURING Nội dung chính : Trong chương này, ta sẽ xét thêm một loại máy trừu tượng khác máy Turing (TM - Turing Machines). Chúng có khả năng đoán nhận được lớp ngôn ngữ lớn hơn lớp ngôn ngữ phi ngữ cảnh. Đây còn là một mô hình của sự tính toán, mô hình của các thủ tục hiệu quả, là nền tảng cho quá trình xử lý của máy tính hiện đại, được giới thiệu bởi Alan Turing vào năm 1936. | Chương VII Máy Turing Chương VII MÁY TURING Nội dung chính Trong chương này ta sẽ xét thêm một loại máy trừu tượng khác -máy Turing TM - Turing Machines . Chúng có khả năng đoán nhận được lớp ngôn ngữ lớn hơn lớp ngôn ngữ phi ngữ cảnh. Đây còn là một mô hình của sự tính toán mô hình của các thủ tục hiệu quả là nền tảng cho quá trình xử lý của máy tính hiện đại được giới thiệu bởi Alan Turing vào năm 1936. Nhờ đó các khái niệm về sự tính được sự giải được được xác định một cách rõ ràng trên cơ sở sự xuất hiện của một số hàm không tính được các bài toán không giải được. Mục tiêu cần đạt Cuối chương sinh viên cần phải nắm vững Khái niệm TM định nghĩa và các thành phần. Các kỹ thuật thiết kế TM. Một số biến dạng TM từ mô hình chuẩn. Xây dựng TM dùng nhận dạng ngôn ngữ hoặc tính toán các hàm số nguyên đơn giản được biểu diễn trong hệ nhất phân. Các tính chất của lớp ngôn ngữ được chấp nhận bởi TM. Kiến thức cơ bản Để tiếp thu tốt nội dung của chương này sinh viên cần hiểu rõ cách thiết kế các hàm chuyển trạng thái trên mô hình máy tính toán ý tưởng thiết kế một số thuật toán đơn giản trên tập hợp số . Tài liệu tham khảo 1 John E. Hopcroft Jeffrey - Introduction to Automata Theory Languages and Computation - Addison - Wesley Publishing Company Inc -1979 Chapter 7 Turing Machines 2 Peter Linz - An Introduction to Formal Languages and Automata - . Heath and Company - 1990. 3 David Barker-Plummer - Stanford Encyclopedia of Philosophy - Turing Machines http entries turing-machine 4 Turing Machinesimplemented in JavaScript http turing scrapbook 5 By Jon Barwise and John Etchemendy -Turing Machines 109 Chương VII Máy Turing http hp I. MÔ HÌNH MÁY TURING TM Một mô hình hình thức cho một thủ tục hiệu quả sẽ có những đặc tính cụ thể. Đầu tiên mỗi thủ tục sẽ được mô tả một cách hữu hạn. Tiếp đó thủ tục sẽ được phân thành một số bước độc lập mà mỗi bước thực thi một vấn đề. Nguyên tắc .

• Tin học văn phòng
• giáo trình tin học
• công nghệ thông tin
• Tin học lý thuyết
• kỹ thuật chuyên ngành
• ngôn ngữ máy tính
• tin học trong hoạt động thông tin thư viên
• bài giảng tin học trong hoạt động thông tin thư viên
• tài liệu tin học trong hoạt động thông tin thư viên
• giáo trình tin học trong hoạt động thông tin thư viên
• đề cương tin học trong hoạt động thông tin thư viên
• Giáo trình Tra cứu thông tin
• Thư viện Thông tin
• Hệ thống tìm tin
• Hệ thống tìm tin truyền thống
• Tìm tin tự động hóa
• Tìm tin trên mạng Internet
• Chiến lược tra cứu thông tin
• tin học cơ sở
• giáo trình tin học cơ sở
• bài giảng tin học cơ sở
• tin học căn bản
• kiến thức tin học
• Giáo án Tin học 8
• Tin học 8
• Giáo án điện tử Tin học 8
• Giáo án Tin
• Giáo án Tin 8
• Chương trình Tin học 8
• Giáo án Tin Học 10
• tài liệu giảng dạy Tin Học 10
• giáo trình Tin Học 10
• tài liệu Tin Học 10
• cẩm nang giảng dạy Tin Học 10
• Trình bày văn bản
• Kỹ năng soạn thảo
• Soạn thỏa văn bản
• Giáo trình Microsoft Word
• Tự học tin học
• Tài liệu tin học
• Lý thuyết tin học
• Tin học đại cương
• Giáo trình Tin học đại cương
• Đề thi trắc nghiệm tin học đại cương
• Bài giảng Tin học đại cương
• Tài liệu Tin học đại cương
• Bài tập Tin học đại cương
• Giáo án Tin học 10 bài 8
• Giáo án điện tử Tin học 10
• Giáo án lớp 10 Tin học
• Giáo án điện tử lớp 10
• Quy trình quản lý tin học
• Giải các bài toán khoa học kĩ thuật
• Những ứng dụng của tin học
• Giáo án Tin Học 11
• tài liệu giảng dạy Tin Học 11
• giáo trình Tin Học 11
• tài liệu Tin Học 11
• cẩm nang giảng dạy Tin Học 11
• tài liệu giảng dạy Tin Học 8
• giáo trình Tin Học 8
• tài liệu Tin Học 8
• cẩm nang giảng dạy Tin Học 8