Tham khảo tài liệu 'lý thuyết tính toán', khoa học tự nhiên, toán học phục vụ nhu cầu học tập, nghiên cứu và làm việc hiệu quả | ĐẠI HỌC ĐÀ NẲNG TRƯỜNG ĐẠI HỌC BÁCH KHOA KHOA CÔNG NGHỆ THÔNG TIN LÝ THUYẾT TÍNH TOÁN . PHAN HUY KHÁNH ĐÀ NẴNG 1999 MỤC LỤC CHƯƠNG 1 NHẬP MÔN LÝ THUYẾT TÍNH I. CÁC đối TUợNG ĐượC Xử LÝ TRONG Tin II. CÁC máy MACHINES .2 II. 1. Khia cạnh chức năng functional look .2 II. 2. Khia cạnh cấu trúc structural look .3 III. MÔ HÌNH TÍNH IV. Định nghĩa bài CHƯƠNG 2 MÔ HÌNH CÁC MÁY I. CÁC MÁY II. MÔ PHỎNG MỘT MÁY BỞI MỘT MÁY III. MỘT MÔ HÌNH THÔ sơ KIẺU III. 1. Mô phỏng các phép toán trên chuôi ký tự bởi các phép toán trên các so . Thu gọn tập hợp các lệnh . Thu gọn tập hợp các lệnh so IV. Máy ram VạN CHƯƠNG 3 MÔ HÌNH CÁC MÁY I. MÔ Tả VÀ HOạT ĐỘNG CÙA MÁY . Mô tả máy . Hoạt động của máy . Cấu hình xuất phát của máy . Máy Turing đon II. Cac ham T-tinh III. Lớp các hàm T-tính III. 1. Một số hàm sơ III. . Các hàm hang constant functions .32 III. . Các hàm chiếu projection functions .33 . Các hàm kế tiếp successor functions .33 III. 3. Các hàm kể trước predecessor functions .34 . Sự hợp thành composition .34 . Các máy đuợc tiêu chuẩn . Các máy Turing đuợc chuẩn . Tổ hợp các máy . Lập trình trên ngôn ngữ bậc cao máy . Cấu trúc if then else và cấu trúc rẽ nhiều . Cấu trúc III. 6. Quản lý bộ . Máy Turing chuyến một ô qua . Máy Turing chỉ sử dụng phần băng bên phải kế từ vị trí đầu tiên của đầu . PHAN HUY KHÁNH biên soạn 1 2 Lỷ thuyết tính toán III. 7. Một số máy Turing thông . Sao chép. .40 . Kiểm tra bằng . Liệt kê các câu các cặp câu và dãy các . Các hàm chiếu nguợc antiprojection function .42 . Các hàm giao III. 7. Các hàm T-tính được phức tạp III. 8. Nhận IV.
