... ngônngữ tồn máy Turing chấp nhận (D) Cả A, B, C (E) Chỉ có A, B 50 Từ lớp ngônngữ nghiên cứu phát biểu (PNC: phi ngữ cảnh, CNC: cảm ngữ cảnh) (B) Lớp ngônngữ đệ qui CNC đồng (A) Tồn ngônngữ ... hay thuộc họ LL(1) hay không (D) Cả A, B, C (E) Cả A, B, C sai 47 Cho L1, L2 ngônngữ PNC, L3 ngônngữ qui L4 ngônngữ không PNC Thì (A) L1 ∩ L2 PNC (B) L4 không PNC (C) L1 ∩ L3 PNC (D) Cả A, ... ≤ 2n} 38 Ngônngữ sau KHÔNG phi ngữ cảnh (A) {ww: w ∈ {a, b}*} (B) {wcw: w ∈ {a, b}*} (C).{anbmcman} (D) Cả A, B (E) Cả A, B, C (D) Cả A, B (E) Cả A, B, C 39 Ngônngữ sau KHÔNG phi ngữ cảnh đơn...
... 1.1.6 Định nghĩa: Mỗi tập Σ* gọi ngônngữhìnhthức hay ngắn gọn ngônngữ Σ Đặc biệt, tập ∅ ngônngữ Σ, gọi ngônngữ rỗng; tập {ε} ngônngữ Σ, ngônngữ chứa từ rỗng Σ* ngônngữ gồm tất từ Σ Thí ... tính đắn ngônngữ lập trình, lýthuyết mật mã, lýthuyết cấu trúc liệu lýthuyết sở liệu Lýthuyếtngônngữhìnhthức ôtômat đóng vai trò quan trọng sở toán học tin học Ngônngữhìnhthức sử dụng ... dựng ngônngữ lập trình, lýthuyết chương trình dịch Các ngônngữhìnhthức tạo thành công cụ mô tả mô hình tính toán cho dạng thông tin vào-ra lẫn kiểu thao tác Lýthuyếtngônngữhình thức, ...
... 1.1.6 Định nghĩa: Mỗi tập Σ* gọi ngônngữhìnhthức hay ngắn gọn ngônngữ Σ Đặc biệt, tập ∅ ngônngữ Σ, gọi ngônngữ rỗng; tập {ε} ngônngữ Σ, ngônngữ chứa từ rỗng Σ* ngônngữ gồm tất từ Σ Thí ... tính đắn ngônngữ lập trình, lýthuyết mật mã, lýthuyết cấu trúc liệu lýthuyết sở liệu Lýthuyếtngônngữhìnhthức ôtômat đóng vai trò quan trọng sở toán học tin học Ngônngữhìnhthức sử dụng ... dựng ngônngữ lập trình, lýthuyết chương trình dịch Các ngônngữhìnhthức tạo thành công cụ mô tả mô hình tính toán cho dạng thông tin vào-ra lẫn kiểu thao tác Lýthuyếtngônngữhình thức, ...
... 1.1.6 Định nghĩa: Mỗi tập Σ* gọi ngônngữhìnhthức hay ngắn gọn ngônngữ Σ Đặc biệt, tập ∅ ngônngữ Σ, gọi ngônngữ rỗng; tập {ε} ngônngữ Σ, ngônngữ chứa từ rỗng Σ* ngônngữ gồm tất từ Σ Thí ... tính đắn ngônngữ lập trình, lýthuyết mật mã, lýthuyết cấu trúc liệu lýthuyết sở liệu Lýthuyếtngônngữhìnhthức ôtômat đóng vai trò quan trọng sở toán học tin học Ngônngữhìnhthức sử dụng ... dựng ngônngữ lập trình, lýthuyết chương trình dịch Các ngônngữhìnhthức tạo thành công cụ mô tả mô hình tính toán cho dạng thông tin vào-ra lẫn kiểu thao tác Lýthuyếtngônngữhình thức, ...
... KNAPSACK ngônngữ gồm từ 2.4 Định lý: Ngônngữ 2-CONSAT thuộc lớp P 100 2.5 Định lý: Ngônngữ SAT NP-đầy đủ 2.6 Định lý: Ngônngữ CONSAT NP-đầy đủ 2.7 Định lý: Ngônngữ 3-CONSAT NP-đầy đủ 2.8 Định lý: ... đoán nhận ngônngữ M1 (Nói chung, T(n) nhận giá trị lớn T1(n) đa thức) Tương tự, ngônngữ giới hạn đa thức mô hình máy Turing chuẩn mực hay mô hình tính toán hợp lý thuộc vào lớp P định ... gian đa thức Cách giải xây dựng lớp toán tương đương 2.1 Định nghĩa: Một ngônngữ L gọi NP-khó với ngônngữ L’ NP, ta có L’ ≤P L Ngônngữ L gọi NP-đầy đủ NP-khó L∈NP 2.2 Chú ý: Các ngônngữ NP-đầy...
... biểu mà ngônngữ lập trình cổ điển có Mở rộng ngônngữ (language extension) Bộ tiền xử lý tăng khả cho ngônngữ số macro nội Thí dụ ngônngữ Equel ngônngữ hỏi đáp với sở liệu nhúng vào ngônngữ ... (cuối ngônngữ máy) Ngữ nghĩa ngônngữ phép ánh xạ kết hợp cấu trúc cú pháp câu nhập vào với chuỗi ký hiệu ngônngữ đó, mà ta gọi nghĩa câu nguyên thuỷ (câu nhập vào) Đặc tả ngữ nghĩa ngônngữ ... xử lý “nhét” tập tin vào chương trình văn Chẳng hạn, tiền xử lýngônngữ C “nhét” nội dung tập tin vào thay cho phát biểu # include xử lýtập tin có chứa phát biểu Bộ xử lý...
... Phi ngữ cảnh, e) Cảm ngữ cảnh, f) Đệ quy hay không vấn đề không giải thuật toán 4.3.10 Định lý: Mọi ngônngữ cảm ngữ cảnh ngônngữ đệ quy 4.3.11 Định lý: Tồn ngônngữ đệ quy mà không ngônngữ ... Định lý: Một ngônngữhìnhthức loại đệ quy đếm Điều có nghĩa lớp ngônngữhìnhthức loại lớp ngônngữ đệ quy đếm 4.3.7 Chú ý: Nhờ vào Định lý 4.3.4, ta thấy có ngônngữ đệ quy đếm không đệ quy ... toán ngônngữhìnhthức mô tả đệ quy Sau ta nghiên cứu vài tính chất ngônngữ đệ quy đệ quy đếm Việc chứng minh tính chất phức tạp nên ta không sâu vào chi tiết 4.3.2 Định lý: Phần bù ngôn ngữ...
... định nghĩa văn phạm phi ngữ cảnh mà L(G)=N(M) Lưu ý gọi P1, P2, P3 lớp ngônngữ phi ngữ cảnh, lớp ngônngữ đoán nhận ôtômat đẩy xuống theo tập trạng thái kết thúc, lớp ngônngữ đoán nhận ôtômat ... z1/ε> 3.2.7 Định lý: Cho L ngônngữ phi ngữ cảnh Khi tồn ôtômat đẩy xuống M đoán nhận L theo tập trạng thái kết thúc Chứng minh: Giả sử G= văn phạm phi ngữ cảnh sinh ngônngữ L Ta xây ... không đơn định đoán nhận hết lớp ngônngữ phi ngữ cảnh Còn ôtômat đẩy xuống đơn định có khả đoán nhận lớp thực lớp ngônngữ phi ngữ cảnh mà Tuy vậy, lớp ngônngữ đoán nhận lớp ôtômat đẩy xuống...
... ứng biểu thức quy Σ biểu diễn ngônngữ R, S (r+s) biểu thức quy biểu diễn ngônngữ R∪S, (rs) biểu thức quy biểu diễn ngônngữ R.S (r*) biểu thức quy biểu diễn ngônngữ R* Trong biểu thức quy, ... điều kiện cần đủ để ngônngữ đoán nhận ôtômat hữu hạn đơn định quy Do hệ cho biết tồn ngônngữ phi ngữ cảnh mà không ngônngữ quy, tức lớp ngônngữ quy thực lớp ngônngữ phi ngữ cảnh 25 2.1.11 ... định nghĩa biểu thức quy theo bước đệ quy sau đây: 1) ∅ biểu thức quy, biểu diễn ngônngữ rỗng 2) ε biểu thức quy, biểu diễn ngônngữ {ε} 3) Nếu a∈Σ a biểu thức quy, biểu diễn ngônngữ {a} 4) Nếu...
... 1.1.6 Định nghĩa: Mỗi tập Σ* gọi ngônngữhìnhthức hay ngắn gọn ngônngữ Σ Đặc biệt, tập ∅ ngônngữ Σ, gọi ngônngữ rỗng; tập {ε} ngônngữ Σ, ngônngữ chứa từ rỗng Σ* ngônngữ gồm tất từ Σ Thí ... cảm ngữ cảnh, phi ngữ cảnh, quy) tồn văn phạm tổng quát (t.ư cảm ngữ cảnh, phi ngữ cảnh, quy) sinh Vì vậy, lớp ngôn ngữ, ta có bao hàm thức: 13 {ngôn ngữ quy} ⊂ {ngôn ngữ phi ngữ cảnh} ⊂ {ngôn ngữ ... đề: Mọi ngônngữ hữu hạn ngônngữ quy Chứng minh: Ngônngữ hữu hạn hợp hữu hạn ngônngữ từ, nên từ Thí dụ 13 (ngôn ngữ từ quy) từ Hệ 1.3.3 (hợp hữu hạn ngônngữ quy quy), ta có ngônngữ hữu hạn...
... tính đắn ngônngữ lập trình, lýthuyết mật mã, lýthuyết cấu trúc liệu lýthuyết sở liệu Lýthuyếtngônngữhìnhthức ôtômat đóng vai trò quan trọng sở toán học tin học Ngônngữhìnhthức sử dụng ... dựng ngônngữ lập trình, lýthuyết chương trình dịch Các ngônngữhìnhthức tạo thành công cụ mô tả mô hình tính toán cho dạng thông tin vào-ra lẫn kiểu thao tác Lýthuyếtngônngữhình thức, ... tả hìnhthức văn phạm phát sinh nhiều ngành khoa học khác từ ngônngữ học đến sinh vật học Do khía cạnh thích hợp lýthuyếtngônngữhìnhthức có tầm quan trọng định giáo trình Lýthuyếtngôn ngữ...
... ồ, nói gọn ngônngữ Các tập { } tập {e} đ-ợc xem ngônngữ bảng chữ g N Từ ngônngữ cho tr-ớc, ta thu đ-ợc ngônngữ nhờ áp dụng phép toán lên ngônngữngônngữtập hợp nên phép toán tập hợp : giao, ... Định lý : Nếu L1, L2 hai ngônngữ phi ngữ cảnh (hoặc qui) L1ẩL2 ngônngữ phi ngữ cảnh (hoặc qui) - Nếu L1 ngônngữ văn phạm phi ngữ cảnh G1 = - Nếu L2 ngônngữ văn phạm phi ngữ ... giao, hợp, hiệu áp dụng lên ngônngữ - Một số phép toán khác lên ngôn ngữ: Phép ghép tiếp : Cho ngônngữ L1 chữ ồ1, ngônngữ L2 chữ ồ2, ký hiệu ngônngữ L1L2 ngônngữ {vw/ v ẻ L1, w ẻ L2} chữ...
... để chứng minh ngônngữ vô hạn không ngônngữ phi ngữ cảnh h T c Ví dụ 10: Chứng minh ngônngữ L = {anbncn : n 0} không ngônngữ phi ngữ cảnh u D Chứng minh: Giả sử L ngônngữ phi ngữ cảnh Xét ... LýThuyếtNgônNgữHìnhThức & Ôtômat 30 Nguyễn Đức Thuần - * ( ) + db ... L không ngônngữ phi ngữ cảnh g N Định lý : Có giải thuật xác định ngônngữ phi ngữ cảnh L(G) hữu hạn hay không Chứng minh: Theo định lý 3.2.3 ta chuyển dạng chuẩn chomsky ngônngữ phi ngữ cảnh...
... x lý, tớnh toỏn d liu : Cỏc hot ng x lý cỏc d liu cc b ca mụ hỡnh phc v cho yờu cu dy v hc Cỏc phng thc ny m nhn vic chuyn i d liu nhp thnh cỏc d liu cc b ca mụ hỡnh Mụ hỡnh s tớnh toỏn, x lý ... dng b cụng c thc hin mt s gii thut Lý thuyt Ngụn ng Hỡnh thc & Automata, c gng a nhng ni dung c bn ca mụ hc nhm gúp phn giỳp cho sinh viờn nm bt c cỏc c s lý thuyt Hin vi iu kin v c s vt cht ... thng qun lý vic hc, mc ging dy c xp sp theo th t t d n khú v cú th cho phộp ngi s dng la chn mc phc phự hp vi trỡnh ngi hc thit k tt mt phn mn h tr vic ging dy ngi ta thng da vo lý thuyt...
... x lý, tớnh toỏn d liu : Cỏc hot ng x lý cỏc d liu cc b ca mụ hỡnh phc v cho yờu cu dy v hc Cỏc phng thc ny m nhn vic chuyn i d liu nhp thnh cỏc d liu cc b ca mụ hỡnh Mụ hỡnh s tớnh toỏn, x lý ... dng b cụng c thc hin mt s gii thut Lý thuyt Ngụn ng Hỡnh thc & Automata, c gng a nhng ni dung c bn ca mụ hc nhm gúp phn giỳp cho sinh viờn nm bt c cỏc c s lý thuyt Hin vi iu kin v c s vt cht ... thng qun lý vic hc, mc ging dy c xp sp theo th t t d n khú v cú th cho phộp ngi s dng la chn mc phc phự hp vi trỡnh ngi hc thit k tt mt phn mn h tr vic ging dy ngi ta thng da vo lý thuyt...
... Σ*={λ,a,b,aa,ab,ba,aaa,aab, } Tập {a,aa,aab} ngônngữ ∑ Tập L={anbn : n≥0} ngônngữtập ∑ ♦ Vì ngônngữtập hợp chuỗi nên hội (union), giao (intersection) hiệu (diference) hai ngônngữ dễ dàng xác đònh ♦ Bù ngônngữ : ... ♦ Bù ngônngữ : Bù ngônngữ L bảng chữ ∑ ký hiệu L =∑*-L ♦ Cho L1 L2 hai ngônngữ bảng chữ ∑: + L1L2 : Là ngônngữ ∑ chứa chuỗi có cách nối chuỗi ngônngữ L1 với chuỗi ngônngữ thuộc L2 L1L2={w: ... 4.2- NgônNgữ Chính Qui Trang Luận Tốt Nghiệp KS2-K7 Một ngônngữ gọi qui tồn automat hữu hạn chấp nhận Vì ngônngữ qui mô tả dfa hay nfa đó, để trình bày ngônngữ qui mô tả dfa hay nfa Ngôn ngữ...
... 1.1.6 Định nghĩa: Mỗi tập Σ* gọi ngônngữhìnhthức hay ngắn gọn ngônngữ Σ Đặc biệt, tập ∅ ngônngữ Σ, gọi ngônngữ rỗng; tập {ε} ngônngữ Σ, ngônngữ chứa từ rỗng Σ* ngônngữ gồm tất từ Σ Thí ... tính đắn ngônngữ lập trình, lýthuyết mật mã, lýthuyết cấu trúc liệu lýthuyết sở liệu Lýthuyếtngônngữhìnhthức ôtômat đóng vai trò quan trọng sở toán học tin học Ngônngữhìnhthức sử dụng ... dựng ngônngữ lập trình, lýthuyết chương trình dịch Các ngônngữhìnhthức tạo thành công cụ mô tả mô hình tính toán cho dạng thông tin vào-ra lẫn kiểu thao tác Lýthuyếtngônngữhình thức, ...