... văn phạm, ngônngữhìnhthứcvà ô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áotrình Lý thuyết ngônngữhìnhthứcvàôtômat này và lời ... 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ônngữ chỉ chứa từ rỗng và Σ* là ngônngữ gồm ... nhất. Giáotrình này nhằm trình bày về văn phạm hìnhthứcvà 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ôn ngữ...
... trạng tháiBăng vàoqBộ điều khiểnĐầu đọc Giáotrình Kiến trúc máy tính và Hệ điều hành3Nội dung giáo trình CHƯƠNG 1. MỞ ĐẦUCHƯƠNG 2. ÔTÔMÁT HỮU HẠNCHƯƠNG 3. BIỂU THỨCVÀ VĂN PHẠM CHÍNH ... QUICHƯƠNG 4. VĂN PHẠM VÀNGÔNNGỮ PHI NGỮ CẢNHCHƯƠNG 5. ÔTÔMÁT ĐẨY XUỐNGCHƯƠNG 6. MÁY TURINGTRƯỜNG ĐẠI HỌC BÁCH KHOA ĐÀ NẴNGGiới thiệu Giáotrình Kiến trúc máy tính và Hệ điều hành9CHƯƠNG ... HỌC ĐÀ NẴNGTRƯỜNG ĐẠI HỌC BÁCH KHOA KHOA CÔNG NGHỆ THÔNG TINNGÔN NGỮHÌNHTHỨC & ÔTÔMÁTGiáotrình Kiến trúc máy tính và Hệ điều hành41CHƯƠNG 2. ÔTÔMÁT HỮU HẠNTRƯỜNG ĐẠI HỌC BÁCH...
... học. Ngônngữhìnhthức được sử dụng trong việc xây dựng các ngônngữ lập trình, lý thuyết về các chương trình dịch. Các ngôn ngữ hìnhthức tạo thành một công cụ mô tả đối với các mô hình ... từ ngônngữ học đến sinh vật học. Do đó những khía cạnh thích hợp của lý thuyết ngônngữhình thức sẽ có tầm quan trọng quyết định trong các giáotrình về Lý thuyết ngônngữ hình thứcvà ... tạp, ngữ nghĩa và lý thuyết về tính đúng đắn của các ngônngữ lập trình, lý thuyết mật mã, lý thuyết các cấu trúc dữ liệu và lý thuyết các cơ sở dữ liệu. Lý thuyết ngônngữhìnhthứcvà ôtômat...
... hãy chứng minh ngônngữ sau đây không là ngônngữ chính quy: L = {ai bj cj di | i, j ≥ 1}Giả sử L là ngônngữ chính quy. Khi đó sẽ tồn tại một DFA M chấp nhận cho ngônngữ L. Gọi n ... a lớn hơn n (và số ký hiệu d không đổi là n). Vậy trong chuỗi uv2w sẽ có số ký hiệu a nhiều hơn ký hiệu d, hay chuỗi uv2w không thuộc ngônngữ L.Vậy giả thiết L là ngônngữ chính quy sai, ... L không là ngônngữ chính quy.Câu 2 (2.0 điểm): Bạn hãy tìm một DFA tương đương với NFA sau:DFA tương đương:Câu 3 (1.5 điểm): Bạn hãy vẽ một automata hữu hạn chấp nhận cho ngônngữ được ký...
... văn phạm, ngônngữhìnhthứcvà ô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áotrình Lý thuyết ngônngữhìnhthứcvàôtômat này và lời cám ... 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ữ đệ quy đếm được. Ngoài ra, giáotrình cũng giới thiệu sơ lược về trình biên dịch, một phần ... phụ lục: Chương I: Trình bày về các khái niệm cơ bản của ngôn ngữ, cấu trúc của văn phạm sinh ra ngônngữvà sự phân cấp Chomsky của ngôn ngữ. Chương II: Trình bày về ngônngữ chính quy, trong...
... ôtômatvà 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à Kỹ thuật, Hà Nội, 1991. [3] Đỗ Đức Giáo, ... BCNF. 103 2.5. Định lý: Ngônngữ SAT là NP-đầy đủ. 2.6. Định lý: Ngônngữ CONSAT là NP-đầy đủ. 2.7. Định lý: Ngônngữ 3-CONSAT là NP-đầy đủ. 2.8. Định lý: Ngônngữ KNAPSACK là NP-đầy đủ. ... ngônngữ mà ta sẽ gọi là các ngônngữ NP-đầy đủ nhận được thực tế từ mọi lĩnh vực của toán học. 1.10. Định nghĩa: Ngônngữ L1⊂Σ1* được gọi là dẫn được trong thời gian đa thức về ngôn ngữ...
... chương trình dùng để đọc một chương trình được viết trong một ngônngữ lập trình được gọi là ngônngữ nguồn (source language) và dịch chương trình đó sang chương trình tương ứng trong ngônngữ ... 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ữ ... lập trình (programming). Ngônngữ dùng để lập trình được gọi là ngônngữ lập trình (programming language). Viết chương trình để giải quyết vấn đề sẽ dễ dàng và tự nhiên hơn nếu ngôn ngữ...
... lý: Một ngônngữhìnhthức là loại 0 khi và chỉ khi nó là đệ quy đếm được. Điều này có nghĩa là lớp ngônngữhìnhthức loại 0 chính là lớp ngônngữ đệ quy đếm được. 4.3.7. Chú ý: Nhờ vào Định ... vấn đề ngônngữ này có thuộc hay không lớp con đã cho của lớp các ngôn ngữ đệ quy đếm được. Ta nói rằng một tính chất của các ngônngữ đệ quy đếm được là tầm thường nếu hoặc mọi ngônngữ đệ ... thuộc ngônngữhìnhthức đã cho hay không. Trong trường hợp ngược lại thì bài toán được gọi là giải được bằng thuật toán. Như vậy, một vấn đề giải được bằng thuật toán nếu và chỉ nếu ngônngữ hình...
... để xây dựng các ngônngữ lập trìnhvà chương trình dịch. Trong quá trình dịch từ chương trình nguồn ra chương trình đích, người ta sử dụng cấu trúc cú pháp của văn phạm phi ngữ cảnh để phân ... đoán nhận hết lớp ngônngữ phi ngữ cảnh. Còn ôtômat đẩy xuống đơn định chỉ có khả năng đoán nhận được lớp con thực sự của lớp ngônngữ phi ngữ cảnh mà thôi. Tuy vậy, lớp ngônngữ được đoán nhận ... quá trìnhhình thành các xâu của ngôn ngữ. Vì lẽ đó cần loại bỏ những yếu tố dư thừa không có ích trong việc sinh ngôn ngữ, sao cho việc loại bỏ đó không làm ảnh hưởng tới quá trình sinh ngôn...
... (r+s) là biểu thức chính quy biểu diễn ngônngữ R∪S, (rs) là biểu thức chính quy biểu diễn ngônngữ R.S và (r*) là biểu thức chính quy biểu diễn ngônngữ R*. Trong biểu thức chính quy, ... biểu thức chính quy, nó biểu diễn ngônngữ {ε}. 3) Nếu a∈Σ thì a là biểu thức chính quy, nó biểu diễn ngônngữ {a}. 4) Nếu r, s tương ứng là biểu thức chính quy trên Σ biểu diễn ngônngữ R, ... tập cơ sở trên là ngônngữ chính quy và hợp, ghép, lặp của một số hữu hạn của chúng cũng là ngônngữ chính quy. Do đó L là một ngônngữ chính quy. Giả sử L là một ngônngữ chính quy trên...
... đưa cho máy bằng ngônngữ máy hiểu được. Việc viết các yêu cầu ta gọi là lập trình. Ngônngữ dùng để lập trình được gọi là ngônngữ lập trình. Cả ngônngữ lập trình lẫn ngônngữ tự nhiên đều ... 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ônngữ chỉ chứa từ rỗng và Σ* là ngônngữ gồm tất ... {ngôn ngữ chính quy} ⊂ {ngôn ngữ phi ngữ cảnh} ⊂ {ngôn ngữ cảm ngữ cảnh} ⊂ {ngôn ngữ tổng quát}. Ta cũng thấy về mặt cấu trúc ngữ pháp thì các quy tắc của các văn phạm phi ngữ cảnh và...
... Bài tập Lý thuyết NgônngữHìnhthứcvà Automata Trường ĐH Bách Khoa - Khoa CNTT - Người soạn: Hồ Văn Quân 4/5 PHẦN NGÔNNGỮ PHI NGỮ CẢNH 19. Tìm các VPPNC cho các ngônngữ sau: L1 = {a2n+1bn+2: ... q3q4q5M5 Bài tập Lý thuyết NgônngữHìnhthứcvà 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: n ≥ 2, ... văn phạm sau cho ngônngữ L = {w: na(w) = nb(w)} không là văn phạm LL: S → aSbbSaSSλ. 33. Tìm các văn phạm LL cho các ngônngữ sau (chỉ ra k bằng bao nhiêu) và dựa vào tính chất của...