Thư viện tài liệu, ebook tổng hợp lớn nhất Việt Nam

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: 2234 | 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: 2482 | 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: 3362 | 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: 2271 | 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: 2328 | 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: 2515 | 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: 2216 | 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: 3371 | 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: 2180 | Lượt tải: 3

TỔNG QUAN Xét về cơ bản có 2 lọai thiết bị bán dẫn là lưỡng cực và đơn cực. Dựa trên các thiết bị này, các mạch tích hợp được hình thành. 1. Các họ mạch logic lưỡng cực: Các yếu tố chính của IC lưỡng cực là điện trở, diode và BJT, hai họat động trong IC lưỡng cực là: tắt và bão hòa, các họ logic lưỡng cực:  Mạch logic DDL ã Mạch logic RTL ã Mạch l...

35 trang | Chia sẻ: tlsuongmuoi | Ngày: 16/07/2013 | Lượt xem: 4828 | Lượt tải: 2