Website chia sẻ tài liệu, ebook tham khảo cho các bạn học sinh, sinh viên
Rất nhiều lưu lượng điện thoại trên thế giới vẫn đang được điều khiển thông qua các tổng đài điện cơ, mỗi tổng đài bao gồm hàng ngàn bộ phận chuyển động dễ hỏng. Các tổng đài tương tự này lắp đặt và bảo dưỡng thì tốn kém, và có những lỗi thông thường như xuyên âm, nhiễu và sai số. Rất nhiều nhà khai thác ngành viễn thông đã khai thác các giải ph...
160 trang | Chia sẻ: tlsuongmuoi | Ngày: 16/07/2013 | Lượt xem: 2353 | Lượt tải: 3
Họ NNPNC chiếm một vị trí trung tâm trong hệ thống phân cấp các ngôn ngữ hình thức. Một mặt, NNPNC bao gồm các họ ngôn ngữ quan trọng nhưng bị giới hạn chẳng hạn như các NNPNC và PNCĐĐ. Mặt khác, có các họ ngôn ngữ khác rộng lớn hơn mà NNPNC chỉ là một trường hợp đặc biệt. Để nghiên cứu mối quan hệ giữa các họ ngôn ngữ và trình bày những c...
18 trang | Chia sẻ: tlsuongmuoi | Ngày: 16/07/2013 | Lượt xem: 2490 | Lượt tải: 1
Có hay không lớp ôtômát tương ứng với lớp NNPNC? Như đã biết, ôtômát hữu hạn không thể nhận biết tất cả NNPNC, chẳng hạn L = {anbn : n ≥ 0}, vì nó có một bộ nhớ hữu hạn. Vì vậy chúng ta muốn có một máy mà đếm không giới hạn. Từ ví dụ ngôn ngữ {wwR}, chúng ta cần thêm khả năng lưu và so trùng một dãy kí hiệu trong thứ tự ngược lại. Điều này đề ng...
44 trang | Chia sẻ: tlsuongmuoi | Ngày: 16/07/2013 | Lượt xem: 2643 | Lượt tải: 0
Các phương pháp để biến đổi văn phạm Chuỗi trống đóng một vai trò khá đặc biệt trong nhiều định lý và chứng minh, và thường cần có một sự chú ý đặc biệt cho nó. Nếu L ∋ λ thì biểu diễn L = L1 ∪ λ với L1 = L - λ. Nếu G1 = (V1, T, S1, P1) là văn phạm biểu diễn cho L1 thì G = (V1 ∪ {S}, T, S, P1 ∪ {S → S1 | λ}) là văn phạm biểu diễn cho L. Trong chươn...
35 trang | Chia sẻ: tlsuongmuoi | Ngày: 16/07/2013 | Lượt xem: 3512 | Lượt tải: 1
Một cây mà có các tính chất 3, 4 và 5, còn tính chất (1) không nhất thiết được giữ và tính chất 2 được thay thế bằng 2’.Mỗi lá có một nhãn lấy từ tập V ∪ T ∪ {λ} thì được gọi là một cây dẫn xuất riêng phần (CDXRP). Chuỗi kí hiệu nhận được bằng cách đọc các nốt lá của cây từ trái sang phải, bỏ qua bất kỳ λ nào được bắt gặp, được gọi là kết ...
32 trang | Chia sẻ: tlsuongmuoi | Ngày: 16/07/2013 | Lượt xem: 2421 | Lượt tải: 0
NNCQ tổng quát là như thế nào? Có phải chăng mọi ngôn ngữ hình thức đều là chính qui? Khi chúng ta thực hiện các phép toán trên NNCQ thì kết quả sẽ như thế nào, có còn là một NNCQ không? Một ngôn ngữ nào đó có hữu hạn không? Có rỗng không? Làm thế nào để biết một ngôn ngữ đã cho có là chính qui không?
27 trang | Chia sẻ: tlsuongmuoi | Ngày: 16/07/2013 | Lượt xem: 2489 | Lượt tải: 0
Đồ thị chuyển trạng thái tổng quát (generallized transition graphs): Là một ĐTCTT ngoại trừ các cạnh của nó được gán nhãn bằng các BTCQ. Ngôn ngữ được chấp nhận bởi nó là tập tất cả các chuỗi được sinh ra bởi các BTCQ mà là nhãn của một con đường nào đó đi từ trạng thái khởi đầu đến một trạng thái kết thúc nào đó của ĐTCTT tổng quát (Đ...
33 trang | Chia sẻ: tlsuongmuoi | Ngày: 16/07/2013 | Lượt xem: 2659 | Lượt tải: 2
Accepter hữu hạn đơn định 2.2 Accepter hữu hạn không đơn định 2.3 Sự tương đương giữa accepter hữu hạn đơn định và accepter hữu hạn không đơn định 2.4 Rút gọn số trạng thái của một ôtômát hữu hạn
50 trang | Chia sẻ: tlsuongmuoi | Ngày: 16/07/2013 | Lượt xem: 2351 | Lượt tải: 1
Chương 1 Giới thiệu về lý thuyết tính toán Chương 2 Ôtômát hữu hạn Chương 3 Ngôn ngữ chính qui và văn phạm chính qui Chương 4 Các tính chất của ngôn ngữ chính qui Chương 5 Ngôn ngữ phi ngữ cảnh Chương 6 Đơn giản hóa văn phạm phi ngữ cảnh và các dạng chuẩn Chương 7 Ôtômát đẩy xuống Chương 8 Các tính chất của ngôn ngữ phi ngữ cản...
46 trang | Chia sẻ: tlsuongmuoi | Ngày: 16/07/2013 | Lượt xem: 3523 | Lượt tải: 1
Máy phát điện (MFĐ) là một phần tử rất quan trọng trong hệ thống điện (HTĐ), sự làm việc tin cậy của các MFĐ có ảnh hưởng quyết định đến độ tin cậy của HTĐ. Vì vậy, đối với MFĐ đặc biệt là các máy có công suất lớn, người ta đặt nhiều loại bảo vệ khác nhau để chống tất cả các loại sự cố và các chế độ làm việc không bình thường xảy ra bên trong các c...
36 trang | Chia sẻ: tlsuongmuoi | Ngày: 16/07/2013 | Lượt xem: 2312 | Lượt tải: 3