... B), (q, ε) } Câu 7 (2.0 điểm): Bạn hãy thiết kế một máy Turing để thực hiện phép nhân 3 một số nguyên n dương (n > 0). Chú ý: trên băng nhập đã được cho trước một ký hiệu X ở đầu băng. Đầu...
Ngày tải lên: 23/12/2013, 05:15
... văn phạm phi ngữ cảnh có vai trò quan trọng nhất trong việc ứng dụng để xây dựng các ngôn ngữ lập trình và 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, ... khác ngoài quy tắc của P, nên ω n ∈ L(G). Vậy ω∈ L n ⊂ L * . b) ω∈ L * \ { ε }: Tồn tại số nguyên dương n sao cho ω∈ L n hay ω = ω 1 ω 2 … ω n-1 ω n , trong đó ω i ∈ L \ { ε }, 1 ≤ ... B→0D, A→1B, B→1D, D→0E, C→1B, C→0A, E→1A, D→1E, E→0B, A→0D, E→1, C→1}>. 7. Cho k là một số nguyên dương và L k = {ω∈{1} * | d(ω)=nk, n=1, 2, …}. Chứng minh rằng L k có thể được biểu diễn...
Ngày tải lên: 20/12/2013, 19:15
Giáo trình : Lý thuyết, ngôn ngữ hình thức và Otômat
... thức và ôtômat. Tác gi ả mong nhận được sự chỉ giáo của các đồng nghiệp và độc giả về những thiếu sót khó tránh khỏi của cuốn sách. Trọng Đông năm Giáp Thân (2004) Nguyễn Gia Định 2 2.1.11. ... hình thức và ôtômat này và lời cám ơn đặc biệt xin dành cho Thầy Lê Mạnh Thạnh và đồng nghiệp Nguyễn Hoàng Sơn về sự cung cấp một số tài liệu quan trọng và động viên kịp thời tạo niềm hưng ... = (n+1) h j 0 +(n+1) h-1 j 1 + … +(n+1)j h-1 +j h , trong đó 2 vế là hai khai triển của một số nguyên theo cơ số n+1. Do đó, k=h và i u =j u với 1 ≤ u ≤ k hay α = β . Vì vậy, f là một...
Ngày tải lên: 12/09/2012, 16:21
Ngon ngu hinh thuc va otomat
... HỮU HẠN TRƯỜNG ĐẠI HỌC BÁCH KHOA ĐÀ NẴNG 1. Otomat hữu hạn đơn định 1.3. Biểu diễn các hàm chuyển trạng thái Dùng bảng: Ví dụ: có hàm chuyển của một Otomat như sau: δ(1,a)=2, δ(2,b)=2, δ(2,c)=2 δ ... ôtômat đoán nhận L(M) là: - Một số nhị phân chẵn có độ dài xâu lớn hơn 2. - Một số nguyên có dấu, không dấu. - Một số nguyên không dấu của NNLT C - Một số thực tĩnh có dấu, không dấu. Giáo trình ... định 1.3. Biểu diễn các hàm chuyển trạng thái Biểu đồ dịch chuyển: Ví dụ: có hàm chuyển của một Otomat như sau: δ(1,a)=2, δ(2,b)=2, δ(2,c)=2 1 2 a b c Giáo trình Kiến trúc máy tính và Hệ điều...
Ngày tải lên: 02/05/2013, 21:26
Lý thuyết ngôn ngữ hình thức và Ôtômat doc
... thức và ôtômat. Tác gi ả mong nhận được sự chỉ giáo của các đồng nghiệp và độc giả về những thiếu sót khó tránh khỏi của cuốn sách. Trọng Đông năm Giáp Thân (2004) Nguyễn Gia Định 2 2.1.11. ... văn phạm phi ngữ cảnh có vai trò quan trọng nhất trong việc ứng dụng để xây dựng các ngôn ngữ lập trình và 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, ... định nào đoán nhận các ngôn ngữ sau: a) L = {ωω | ω∈{a, b} * }. b) L = {a p | p là một số nguyên tố}. 4. Hãy xây dựng các ôtômat hữu hạn không đơn định đoán nhận các ngôn ngữ sau: a)...
Ngày tải lên: 20/06/2014, 19:20
Lý thuyết ngôn ngữ hình thức và ôtômát - Phụ lục pptx
... lịch. 2) Cho một ma trận A và vectơ b với các hệ số nguyên. Bài toán có nội dung là xác định xem có tồn tại vectơ x có các thành phần nguyên sao cho A x≤b là một bài toán nhận biết. Nếu ... J.D. Ullman, Formal languages and their ralation to automata, Addison Wesley, Reading Mass. London, 1969. [10] J.E. Hopcroft, J.D. Ullman, Introduction to formal language theory, Addison ... ⎟ ⎟ ⎠ ⎞ ⎜ ⎜ ⎝ ⎛ = b a b , ta có thể coi bài toán nhận biết là liên hợp với bài toán quy hoạch tuyến tính nguyên: Cx=z(min) ⎪ ⎩ ⎪ ⎨ ⎧ =∈ ≤ .,1, njNx bAx j 1.6. Định lý: Nếu bài toán nhận biết liên...
Ngày tải lên: 23/07/2014, 02:20
Lý thuyết ngôn ngữ hình thức và ôtômát - Chương 5 pps
... của các ngôn ngữ. Phân loại: 1) Ngôn ngữ máy (machine language), 2) Hợp ngữ (assembly language), 3) Ngôn ngữ cấp cao (higher-level language). Bởi vì máy tính chỉ có thể hiểu ngôn ngữ máy ... chương trình ngu n chính là sản phẩm xuất ra của trình biên dịch, khi nó dịch chương trình ngu n. Trình biên dịch được dặc tả như là tập các cặp (x, y), với x là chương trình ngu n và y là ... ngữ lập trình được gọi là ngôn ngữ ngu n (source language) và dịch chương trình đó sang chương trình tương ứng trong ngôn ngữ khác, ngôn ngữ đích (target language). Như vậy ta sẽ có rất nhiều...
Ngày tải lên: 23/07/2014, 02:20
Lý thuyết ngôn ngữ hình thức và ôtômát - Chương 4 pps
... f M =ωBω. 4.1.7. Định nghĩa: Cho hàm f: D ⎯ → ⎯ N, với N là tập số tự nhiên, D⊂N m và m là một số nguyên dương. Ở đây, với mỗi số tự nhiên n, ký hiệu n=1 n+1 . Ta nói hàm f có thể tính được bằng ... if 1 then go to 1, 10: stop, Các máy Turing và các hàm có thể tính được bằng máy Turing đóng vai trò quan trọng trong lý thuyết thuật toán. Cơ sở cho việc xây dựng một số lý thuyết thuật ... một số tính chất đã cho hay không. Chẳng hạn, ta có thể hỏi liệu hai số tự nhiên cho trước có nguyên tố cùng nhau hay không, hoặc là một máy Turing có dừng sau một số hữu hạn bước hay không,...
Ngày tải lên: 23/07/2014, 02:20
Lý thuyết ngôn ngữ hình thức và ôtômát - Chương 3 pdf
... vAx trong G A , do đó A vAx trong G. Tiếp đến xét cây T’’, ta có A w trong G A , do đó A w trong G. Cuối cùng, S uAy, A vAx và A w. Từ đó, ta có S uAy uwy, S uAy uvAxy uvwxy, S uAy uvAxy ... văn phạm phi ngữ cảnh có vai trò quan trọng nhất trong việc ứng dụng để xây dựng các ngôn ngữ lập trình và 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ôn ngữ sau đây không phải là phi ngữ cảnh: a) L = {a 2n | n≥0}. b) L = {a p | p là một số nguyên tố}. 4. Hãy cho ôtômat đẩy xuống đoán nhận các ngôn ngữ sau: a) L = {a n b 2n | n≥0}....
Ngày tải lên: 23/07/2014, 02:20
Lý thuyết ngôn ngữ hình thức và ôtômát - Chương 2 pot
... định nào đoán nhận các ngôn ngữ sau: a) L = {ωω | ω∈{a, b} * }. b) L = {a p | p là một số nguyên tố}. 4. Hãy xây dựng các ôtômat hữu hạn không đơn định đoán nhận các ngôn ngữ sau: a) ... B→0D, A→1B, B→1D, D→0E, C→1B, C→0A, E→1A, D→1E, E→0B, A→0D, E→1, C→1}>. 7. Cho k là một số nguyên dương và L k = {ω∈{1} * | d(ω)=nk, n=1, 2, …}. Chứng minh rằng L k có thể được biểu diễn...
Ngày tải lên: 23/07/2014, 02:20
Môn Lý Thuyết ngôn ngữ hình thức và automata
... khởi đầu vừa là trạng thái kết thúc. Dành cho câu 29 đến câu 32: Cho các ngôn ngữ sau (chú ý n, m nguyên không âm): L 1 = {a n b n + m c m } L 2 = {a n b m : n ≠ m} L 3 = {a n b m : n > ... k ≥ 0}. Giả sử L phi ngữ cảnh, rõ ràng L vô hạn nên có thể áp dụng bổ đề bơm. Gọi m là hằng số nguyên dương được chỉ ra trong bổ đề bơm, chuỗi w = 2 mmm cba ∈ L thỏa | w | ≥ m. Do đó có thể ... biểu diễn số kí hiệu a trong chuỗi w. Dành cho câu 1 đến câu 3: Cho các ngôn ngữ sau (chú ý n, m nguyên không âm): L 1 = {w ∈ {a, b, c} * : n a (w) = n b (w) + n c (w)} L 2 = {a n b m : n >...
Ngày tải lên: 13/10/2012, 09:16
Xây dựng bộ công cụ thực hiện một số giải thuật trong môn học ngôn ngữ hình thức và Automata
... ra kết quả mong muốn. Dựa vào lý thuyết giảng dạy, người ta đưa ra các mô hình giảng dạy và những phương pháp giảng dạy thích hợp với điều kiện đã cho nhằm tạo ra kết quả giảng dạy mong muốn. ... ta sẽ dùng Yacc compiler để chuyển file translate.y sang tập tin y.tab.c (đây là tập tin với mã ngu n là ngôn ngữ C). Đây chính là bộ phân tích cú pháp cùng với một số hàm mà người sử dụng định ... báo + Khai báo dạng C được bọc giữa hai ký hiệu %{ và %}. Các khai báo trong phần này được đưa nguyên vào trong paser được sinh ra. Trang 20 a.out C Compiler Yacc Compiler Tập tin đặc tả Yacc.translate.y y.tab.c Chuỗi...
Ngày tải lên: 15/03/2013, 10:20
đồ án tốt nghiệp xây dựng bộ công cụ thực hiện một số giải thuật trong môn học ngôn ngữ hình thức và automata
Ngày tải lên: 22/08/2014, 16:40
Bạn có muốn tìm thêm với từ khóa: