... 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...
... 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, ... Đị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í dụ 4:...
... 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, ... Đị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í dụ 4:...
... 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, ... Đị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í dụ 4:...
... 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ữ ... tương ứng ngônngữ khác, ngônngữ đích (target language) Như ta có nhiều trình biên dịch, ta có hàng ngàn ngônngữ nguồn từ ngônngữ lập trình họ cổ điển (Fortran, Pascal) đến ngônngữ đặc biệt...
... 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...
... Đị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ữ ... ngữhìnhthức ồ, 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...
... để 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...
... 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, ... Đị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í dụ 4:...
... điểm): Áp dụng bổ đề bơm, bạn chứng minh ngônngữ sau không ngônngữ i j j i quy: L = {a b c d | i, j ≥ 1} Giả sử L ngônngữ quy Khi tồn DFA M chấp nhận cho ngônngữ L Gọi n số trạng thái DFA M Xét ... vẽ automata hữu hạn chấp nhận cho ngônngữ ký hiệu biểu thức quy sau: ( (a + ab) b* a )* Cách 1: start b a q1 q2 a a b q3 Cách 2: sử dụng cách vẽ học theo định lý 3.3 – Giáo trình Tin học lýthuyết ... uv2w có số ký hiệu a nhiều ký hiệu d, hay chuỗi uv2w không thuộc ngônngữ L Vậy giả thiết L ngônngữ quy sai, hay L không ngônngữ quy Câu (2.0 điểm): Bạn tìm DFA tương đương với NFA sau: b start...