... phạm hìnhthức và các ôt mat cũng như máy Turing, là những công cụ sinh ngôn ngữ, đồng thời đề cập đến các tính chất của ngônngữ chính quy, ngônngữ phi ngữ cảnh, ngônngữ đệ quy và ngôn ngữ ... về văn phạm, ngônngữhìnhthức và ôt mat. Chúng tôi xin chân thành cám ơn các đồng nghiệp đã động viên và góp ý cho công việc viết giáo trình Lýthuyếtngônngữhìnhthức và ôt mat này và ... một ngônngữhìnhthức hay ngắn gọn hơn là một ngônngữ trên Σ. Đặc biệt, tập ∅ là một ngônngữ trên Σ, gọi là ngônngữ rỗng; tập {ε} cũng là một ngônngữ trên Σ, đây là ngôn ngữ...
... q3q4q5M5 Bài tập LýthuyếtNgônngữHìnhthức và Automata Trường ĐH Bách Khoa - Khoa CNTT - Người soạn: Hồ Văn Quân 3/5 10. Tìm dfa tối giản cho các ngônngữ sau: L1 = {anbm: ... là nguyên tố} là không chính qui. M1: a b a b a, b M2:a ba a, ba b b b p0 p1 p2 b b a a q0q2q1Bài tập LýthuyếtNgônngữHìnhthức và Automata Trường ĐH ... Bài tập LýthuyếtNgônngữHìnhthức và Automata Trường ĐH Bách Khoa - Khoa CNTT - Người soạn: Hồ Văn Quân 5/5 L4 =...
... (PNC: phi ngữ cảnh, CNC: cảm ngữ cảnh) (A). Tồn tại một ngônngữ CNC mà không PNC. (B). Lớp ngônngữ đệ qui và CNC là đồng nhất. (C). Lớp ngônngữ khả liệt kê đệ qui bao trùm mọi ngôn ngữ. (D). ... đơn định hay không. có thuộc họ LL(1) hay không. (D). Cả A, B, C đúng (E).Cả A, B, C sai 47. Cho L1, L2 là các ngônngữ PNC, L3 là ngônngữ chính qui còn L4 là ngônngữ không PNC. Thì ... Lớp các ngônngữ phi ngữ cảnh ĐƠN ĐỊNH thì (VP: văn phạm) (A). Tồn tại giải thuật thành viên có độ phức tạp tuyến tính. (B). Tồn tại VP biểu diễn mà không nhập nhằng. (C). Chứa các ngônngữ được...
... Ng Duc Thuan Lý ThuyếtNgônngữHìnhthức & Ôt mat 1 Nguyễn Đức Thuần Ch-ơng I Nhập môn về văn phạm & Ngônngữhìnhthức 1.khái niệm chung về ngônngữNgônngữ là ph-ơng ... Thuan Lý ThuyếtNgônngữHìnhthức & Ôt mat 4 Nguyễn Đức Thuần Còn Ôt mat (automata) là một cơ chế cho phép đoán nhận 1 xâu bất kỳ có thuộc về ngôn ngữ hay không. Tuy nhiên, về mặthìnhthức ... th-ờng biểu diễn ngônngữ nhờ 1 văn phạm hay nhờ 1 Ôt mat. Văn phạm là một cơ chế cho phép sản sinh ra mọi xâu của ngôn ngữ. Ng Duc Thuan Lý ThuyếtNgônngữHìnhthức & Ôt mat 9 Nguyễn Đức...
... Duc Thuan Lý ThuyếtNgônNgữHìnhThức & Ôt mat 30 Nguyễn Đức Thuần <biểu thức& gt; <biểu thúc> * <biểu thức& gt; ( <biểu thức& gt; ) db <biểu thức& gt; ... Thuan Lý ThuyếtNgônNgữHìnhThức & Ôt mat 39 Nguyễn Đức Thuần 3.2.6.1 Định lý : Mọi ngônngữ phi ngữ cảnh không chứa xâu e đều có thể sinh ra từ một văn phạm phi ngữ cảnh không có ký hiệu ... nhiều chu trình, chẳng hạn A,B,C,A. Vậy ngônngữ là vô hạn. S S S S S S S S Ng Duc Thuan Lý ThuyếtNgônNgữHìnhThức & Ôt mat 42 Nguyễn Đức Thuần Trong phần...
... phạm hìnhthức và các ôt mat cũng như máy Turing, là những công cụ sinh ngôn ngữ, đồng thời đề cập đến các tính chất của ngônngữ chính quy, ngônngữ phi ngữ cảnh, ngônngữ đệ quy và ngôn ngữ ... về văn phạm, ngônngữhìnhthức và ôt mat. Chúng tôi xin chân thành cám ơn các đồng nghiệp đã động viên và góp ý cho công việc viết giáo trình Lýthuyếtngônngữhìnhthức và ôt mat này và lời ... bó chặt chẽ với Lýthuyếtngônngữhìnhthức và ôt mat. Một phần rất quan trọng trong lý thuyết thuật toán là lớp các ngônngữ (hay bài toán) P và NP cũng như lớp các ngôn ngữ NP-đầy đủ được...
... Một ngônngữ L được gọi là NP-khó nếu với mọi ngônngữ L’ trong NP, ta có L’ ≤P L. Ngônngữ L được gọi là NP-đầy đủ nếu nó là NP-khó và L∈NP. 2.2. Chú ý: Các ngônngữ NP-đầy đủ có thể hình ... quyết định vì các ngônngữ nằm ngoài P có thể xem là không thể tính được. Trên thực tế ta nói rằng một ngônngữ đệ quy là bất trị nếu nó không thuộc P. Rõ ràng rằng các ngônngữ nằm ngoài P ... [1] Phan Đình Diệu, Lý thuyết ôt mat và thuật toán, NXB Đại học và Trung học chuyên nghiệp, Hà Nội, 1977. [2] Đỗ Đức Giáo, Đặng Huy Ruận, Văn phạm và ngônngữhình thức, NXB Khoa học và...
... mà ngônngữ lập trình cổ điển có. 4. Mở rộng ngônngữ (language extension). Bộ tiền xử lý tăng khả năng cho ngôn ngữ bằng một số các macro nội tại của nó. Thí dụ ngônngữ Equel là ngônngữ ... phép chiếu ngữ nghĩa, trong đó cấu trúc cú pháp của câu trong ngôn ngữ nguồn sẽ được ánh xạ đến vùng xuất – đó là ngônngữ đích (cuối cùng cũng là ngônngữ máy). Ngữ nghĩa của ngônngữ là phép ... của các ngôn ngữ. Phân loại: 1) Ngônngữ máy (machine language), 2) Hợp ngữ (assembly language), 3) Ngônngữ cấp cao (higher-level language). Bởi vì máy tính chỉ có thể hiểu ngônngữ máy...
... 37 Lý thuyết Ôtômát & NNHT - Khoa Công Nghệ Thông TinPhân loại ôtômátDựa vào hoạt động của ôtômát, có đơn định hay không: có hai loại ôtômát.Ôtômát đơn định (deterministic automata): ... fileOutputStorageTrang 7 Lý thuyết Ôtômát & NNHT - Khoa Công Nghệ Thông TinGiới thiệuÔtômátCác mô hình tính toán tự động Ngôn ngữhìnhthức (formal languages):Định nghĩaPhân loại ngôn ngữ Quan ... chuỗi.Trang 9 Lý thuyết Ôtômát & NNHT - Khoa Công Nghệ Thông TinBa khái niệm cơ bản Ngôn ngữ (languages)Văn phạm (grammar)Ôtômát (automata)Trang 38 Lý thuyết Ôtômát & NNHT - Khoa Công...
... b}*}. 2.2. QUAN HỆ GIỮA ÔT MAT HỮU HẠN VÀ NGÔNNGỮ CHÍNH QUY. 2.2.1. Định lý: Nếu ngônngữ L được đoán nhận bởi một ôt mat hữu hạn không đơn định thì tồn tại một ôt mat hữu hạn đơn định đoán ... rằng mọi ôt mat hữu hạn đều đưa về được ôt mat hữu hạn đầy đủ tương đương. 202.2.3. Định lý: Nếu L là ngônngữ được đoán nhận bởi một ôt mat hữu hạn đơn định thì L là một ngônngữ chính ... là lớp các ngônngữ được đoán nhận bởi ôt mat hữu hạn đơn định, N là lớp các ngônngữ được đoán nhận bởi ôt mat hữu hạn không đơn định và R là lớp các ngônngữ chính quy. Định lý 2.2.1 cho...
... Nguyên lý làm việc của các chương trình dịch; Lýthuyết thiết kế ngônngữ lập trình (ngôn ngữ người – máy và dịch tự động); Chuyển đổi từ ngônngữ lập trình này sang ngônngữ khác. ... trình ởngônngữ đích (target program); SL: ngônngữ nguồn (source languague); TL: ngônngữ đích (target languague); PL: ngônngữ lập trình (programming languague); HLL: ngônngữ bậc ... (high level languague); IL: ngônngữ trung gian (intermediate languague); NL: ngônngữ tự nhiên (natural languague); MC: mã máy (machine code); ML: ngônngữ máy (machine languague);...