0

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 otomat doc

Chứng chỉ quốc tế

... (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 ... 0B1 | 0B2 | 0B1B2Tậ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 ... 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ô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
  • 4,018
  • 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 Otômat

Toán học

... 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,319
  • 54
Ngon ngu hinh thuc va otomat

Ngon ngu hinh thuc va otomat

Hệ điều hành

... HỮU HẠNTRƯỜNG ĐẠI HỌC BÁCH KHOA ĐÀ NẴNG1. Otomat hữu hạn đơn định1.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,557
  • 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 ngôn ngữ hình thức Ôtômat pdf

Kỹ thuật lập trình

... 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,328
  • 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 Ôtômat doc

Cơ sở dữ liệu

... 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 ôtômát - Phụ lục pptx

Cao đẳng - Đại học

... 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∈Ks 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∈Ks’ thì A∈Ks. 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∈Ks’. ... 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={a1, …, an} 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 ôtômát - Chương 5 pps

Cao đẳng - Đại học

... 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 ôtômát - Chương 4 pps

Cao đẳng - Đại học

... 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 M1, M2, …Cuối cùng M thi t lập sự mô tả chuẩn của từ ωi Mi, <Miω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 ... fM=ωBω. 4.1.7. Định nghĩa: Cho hàm f: D⎯→⎯N, với N là tập số tự nhiên, D⊂Nm m là một số nguyên dương. Ở đây, với mỗi số tự nhiên n, ký hiệu n=1n+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 ôtômát - Chương 3 pdf

Cao đẳng - Đại học

... vAx trong GA, do đó A vAx trong G. Tiếp đến xét cây T’’, ta có A w trong GA, 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 ôtômát - Chương 2 pot

Cao đẳng - Đại học

... ô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 = {ap | 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 qi (hay bởi cả ai qi). 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, Σ, δ, q0, 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 automata

Điện - Điện tử

... 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 = 2mmmcba ∈ 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,050
  • 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 Automata

Khoa học tự nhiên

... 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ả YaccFile đặ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