de thi mon ngon ngu hinh thuc va otomat

Tài liệu Đề thi môn ngôn ngữ hình thức và otomat doc

Tài liệu Đề thi môn ngôn ngữ hình thức và otomat doc

Ngày tải lên : 23/12/2013, 05:15
... (q, ε) } δ (q, 1, B) = { (q, 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 ... 0B 1 | 0B 2 | 0B 1 B 2 Tập luật sinh trên đã thỏa dạng chuẩn Greibach. Câu 6 (1.5 điểm): Bạn hãy thi t kế một PDA tương đương với văn phạm phi ngữ cảnh có tập luật sinh như sau: S → 0SA | 1SB ... uv 2 w sẽ có số ký hiệu a nhiều hơn ký hiệu d, hay chuỗi uv 2 w không thuộc ngôn ngữ L. Vậy giả thi t L là ngôn ngữ chính quy sai, hay L không là ngôn ngữ chính quy. Câu 2 (2.0 điểm): Bạn hãy...
  • 4
  • 4K
  • 78
Giáo trình : Lý thuyết, ngôn ngữ hình thức và Otômat

Giáo trình : Lý thuyết, ngôn ngữ hình thức và Otômat

Ngày tải lên : 12/09/2012, 16:21
... thức ôtômat. Tác gi ả mong nhận được sự chỉ giáo của các đồng nghiệp độ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. ... quan tâm đến cách thứ nhất, tức là ta xét văn phạm như là một thi t bị tự động” sinh ra các từ. Vì lẽ đó mà người ta còn gọi các thi t bị tự động” đó là văn phạm sinh. Việc sinh ra các từ ... là chỉ cần giữ lại các ký hiệu các quy tắc có ích trong văn phạm G mà chúng thực sự là cần thi t trong quá trình sinh ngôn ngữ mà thôi. 3.1.4. Định nghĩa: Cho văn phạm phi ngữ cảnh G=<Σ,...
  • 107
  • 4.3K
  • 54
Ngon ngu hinh thuc va otomat

Ngon ngu hinh thuc va otomat

Ngày tải lên : 02/05/2013, 21:26
... 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 δ ... đơn định(Deterministic finite automata –DFA) 1.1. Mô tả - Ôtômát hu hn l mt cỏi mỏy oỏn nhn xõu gm: ã Mt băng vào được chia thành nhiều ô, mỗi ô chứa mt ký hiu ca xõu vo ã Mt u c, mi thi điểm ... ô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...
  • 174
  • 2.6K
  • 99
Tài liệu Lý thuyết và ngôn ngữ hình thức và Ôtômat pdf

Tài liệu Lý thuyết và ngôn ngữ hình thức và Ôtômat pdf

Ngày tải lên : 20/12/2013, 19: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 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, ... ôtômat hữu hạn. Trường hợp đơn giản nhất là thi t bị không có bộ nhớ mà ở mỗi thời điểm, thông tin ra chỉ phụ thuộc vào thông tin vào lúc đó. Các thi t bị như vậ y là mô hình của các mạch tổ ... cho, ta có thể chọn một quy cách hoạt động của thi t bị tự động” để sau một số hữu hạn bước làm việc nó dừng sinh ra chính từ đó. Cách 2: Thi t bị tự động” có khả năng lần lượt sinh ra...
  • 107
  • 1.3K
  • 44
Lý thuyết ngôn ngữ hình thức và Ôtômat doc

Lý thuyết ngôn ngữ hình thức và Ôtômat doc

Ngày tải lên : 20/06/2014, 19:20
... thức ôtômat. Tác gi ả mong nhận được sự chỉ giáo của các đồng nghiệp độ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 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, ... cho, ta có thể chọn một quy cách hoạt động của thi t bị tự động” để sau một số hữu hạn bước làm việc nó dừng sinh ra chính từ đó. Cách 2: Thi t bị tự động” có khả năng lần lượt sinh ra...
  • 107
  • 518
  • 5
Lý thuyết ngôn ngữ hình thức và ôtômát - Phụ lục pptx

Lý thuyết ngôn ngữ hình thức và ôtômát - Phụ lục pptx

Ngày tải lên : 23/07/2014, 02:20
... P. Không mất tính chất tổng quát, ta giả thi t rằng P không là một khoá tối thi u của s’, có nghĩa là nếu A∈K s thì A⊂ P. Vì việc tìm một khoá tối thi u của một sơ đồ quan hệ cho trước được ... định nghĩa của khoá tối thi u, ta thấy nếu A∈K s’ thì A∈K s . Ngược lại, nếu B là một khoá tối thi u của s thì do C→{a}∈F, ta có a∉B. Mặt khác, do định nghĩa của khoá tối thi u, ta có B∈K s’ . ... 3-CONSAT là NP-đầy đủ. 2.8. Định lý: Ngôn ngữ KNAPSACK là NP-đầy đủ. 2.9. Định lý (J. Demetrovics − V.Đ. Thi, 1999): Cho s = (U, F) là một sơ đồ quan hệ trên U. Giả sử U={a 1 , …, a n } và...
  • 13
  • 424
  • 2
Lý thuyết ngôn ngữ hình thức và ôtômát - Chương 5 pps

Lý thuyết ngôn ngữ hình thức và ôtômát - Chương 5 pps

Ngày tải lên : 23/07/2014, 02:20
... thực thi được gọi là thời gian thực thi (run time). Chương trình ngu n Chương trình đích Máy tính thực thi Dữ liệu Kết quả Trình biên dịch Thời gian dịch Thời gian thực thi ... 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 ... này được gọi là mode địa chỉ nếu là 00 và mode trực tiếp – toán hạng nếu là 10. Vì vậy 8 bit của chỉ thị 1 3 là địa chỉ, ngược lại ở chỉ thị 2, 00000010 là toán hạng, hằng nguyên có trị 2....
  • 17
  • 475
  • 1
Lý thuyết ngôn ngữ hình thức và ôtômát - Chương 4 pps

Lý thuyết ngôn ngữ hình thức và ôtômát - Chương 4 pps

Ngày tải lên : 23/07/2014, 02:20
... i). Tiếp theo ứng với các chỉ số i, máy Turing M’ thi t lập sự mô tả mã của máy Turing thứ i trong dãy các máy Turing M 1 , M 2 , …Cuối cùng M thi t lập sự mô tả chuẩn của từ ω i M i , <M i ω i >. ... if 1 then go to 1, 10: stop, Các máy Turing 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 ... 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 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...
  • 17
  • 387
  • 0
Lý thuyết ngôn ngữ hình thức và ôtômát - Chương 3 pdf

Lý thuyết ngôn ngữ hình thức và ôtômát - Chương 3 pdf

Ngày tải lên : 23/07/2014, 02:20
... 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 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 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, ... là chỉ cần giữ lại các ký hiệu các quy tắc có ích trong văn phạm G mà chúng thực sự là cần thi t trong quá trình sinh ngôn ngữ mà thôi. 3.1.4. Định nghĩa: Cho văn phạm phi ngữ cảnh G=<Σ,...
  • 17
  • 395
  • 2
Lý thuyết ngôn ngữ hình thức và ôtômát - Chương 2 pot

Lý thuyết ngôn ngữ hình thức và ôtômát - Chương 2 pot

Ngày tải lên : 23/07/2014, 02:20
... ôtômat hữu hạn. Trường hợp đơn giản nhất là thi t bị không có bộ nhớ mà ở mỗi thời điểm, thông tin ra chỉ phụ thuộc vào thông tin vào lúc đó. Các thi t bị như vậ y là mô hình của các mạch tổ ... đị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) ... thái q i (hay bởi cả a i q i ). 2.1.2. Định nghĩa: Một ôtômat hữu hạn đơn định hay một DFA (Deteministic Finite Automata) là một bộ năm A = <Q, Σ, δ, q 0 , F>, trong đó: − Q là một...
  • 23
  • 406
  • 0
Môn Lý Thuyết ngôn ngữ hình thức và automata

Môn Lý Thuyết ngôn ngữ hình thức và automata

Ngày tải lên : 13/10/2012, 09:16
... NGHIỆM chú ý MSMH: 501038. 2. Sinh viên phải điền họ tên MSSV của mình vào đề thi. Sinh viên NỘP lại đề thi. 3. Đề gồm 4 trang, 50 câu. 4. Sinh viên chỉ được phép sử dụng tài liệu trong ... 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ể ... (E). Tất cả đều sai. tuyến tính PNC đơn định. Trang 1 Đại học Quốc gia Tp. Hồ Chí Minh Đề Thi Học Kỳ 1/2003 Trường Đại Học Bách Khoa Môn Lý Thuyết Automat&NNHT - 501038 Khoa Công...
  • 5
  • 2.1K
  • 40
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

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 : 15/03/2013, 10:20
... công cụ Windows Help Designer Pro (down load từ http://www.devgr.com) ♦ Phần 8 : Giới thi u chuơng trình kết quả. ♦ Phần 9 : Phụ lục - Mã chương trình ♦ Phần 10 : Giới thi u các tài liệu tham ... token. ♦ Phần 7 : Thi t kế Help : đây cũng là một phần quan trọng của một chương trình trợ giúp học tập, trong phần này chú trọng tìm hiểu thi t kế một hệ thống Help. Đặc biệt là thi t kế hệ thống ... được biên dịch để tạo ra file thực thi a.out. 3- Cấu Trúc File Đặc Tả Yacc File đặc t cú dng tng quỏt nh sau : Declarations %% Translation rules %% C-routine codes ã Phần khai báo : Khai báo các...
  • 145
  • 888
  • 1

Xem thêm