... với ngônngữphingữcảnh L ≠ ∅ bất kỳ, ta luôn xây dựng vănphạmphingữcảnh G không chứa kí hiệu qui tắc đơn cho L(G) = L Chøng minh : Không tính tổng quát ta giả thiết ngônngữ L sinh vănphạm ... B→a B→a §Þnh lý Đối với ngônngữphingữcảnh L ≠ ∅ bất kỳ, ta luôn xây dựng vănphạmphingữcảnh G không chứa kí hiệu thừa, λ-qui tắc qui tắc đơn cho L(G) = L I vănphạm chuẩn chomsky ... với ngônngữphingữcảnh L ≠ ∅ bất kỳ, ta luôn xây dựng vănphạmphingữcảnh G không chứa λ-qui tắc cho : L(G) = L\ {λ} Chøng minh : Để chứng minh ta trình bày cách thức loại λ-qui tắc mà ngôn...
... PUSHDOWN AUTOMATA Vănphạmphingữcảnh tương ứng với máy nhận PDA Phần hữu ích để ghi nhớ máy PDA đẩy xuống cấu trúc phần trước để giả lập dẫn xuất bên trái vănphạmphingữcảnh thừa nhận Nếu ... quy tương ứng với biến vănphạm Phân tích đệ quy lùi cho vănphạm LL(1) ví dụ 7.10: Cho vănphạmphingữcảnh có luật sinh sau: S → [ US U → ] W | [U] W W→[U|A Chúng ta có phi n C++ dùng phân tích ... PDA chấp nhận ngơn ngữ, tìm trạng thái di chuyển cho băng vào xâu dài Trong phần phân tích từ xuống PDA từ vănphạmphingữcảnh định nghĩa phần 7.4, nhìn vào giá trị băng vào khơng đủ để xác...
... kq.loaiboluatsinhvodung(); return kq; } } //Lớp VP: Vănphạm sinh vănphạm tồn với luật sinh vô dụng //Ở có phương thức loại bỏ luật sinh vô dụng vănphạm rút gọn tương đương public class VP { public ... thoadieukien1(), Đồ án Automata NNHT - - thoadieukien2(), phương thức chuyển NPDA thành vănphạmphingữcảnh (CFG) cụ thể phương thức toVP() Lớp VP bao gồm thành phần CFG (T,V, S, P) T tập cá ... addV() để thêm vào ký tự chưa kết thúc, addP() để thêm luật sinh cho văn phạm, loaiboluatsinhvodung() để loại bỏ luật sinh vô dụng CFG Lớp luatsinh để tạo đối tượng luật sinh cho văn phạm, gồm có...
... ArrayList vephai=new ArrayList(); } Lớp vănphạm VP: Vănphạm sinh vănphạm tồn với luật sinh vô dụng Ở có phương thức loại bỏ luật sinh vô dụng vănphạm rút gọn tương đương public class VP ... Chuyển từ NPDA sang vănphạmphingữcảnh I.Lý thuyết: Bổ đề 7.1: Với npda có npda tương ứng thỏa mãn hai điều kiệu sau: 1.Chỉ ... 7.5 7.6 chưa thỏa) chuyển sang Vănphạm phương thức toVP Q: Số trạng thái tối đa npda Xichma: Các ký tự gõ nhập Gama: Các ký tự chứa stack Delta: Hàm chuyển V: Vănphạm sinh T:Tập ký tự kết thúc...
... 2, , α n vào V' • Lặp lại không biến thêm vào 12 Các ký hiệu vô ích Định lý 5.2: ngônngữphingữcảnh (CFL) không rỗng sinh từ vănphạmphingữcảnh (CFG) ký hiệu vô ích Ví dụ: xét vănphạm • ... dẫn xuất khác nhau, có dẫn xuất Vănphạm mơ hồ Khái niệm: vănphạmphingữcảnh G gọi vănphạm mơ hồ (ambiguity) có nhiều dẫn xuất cho chuỗi w Ví dụ: xét vănphạm G với luật sinh: E → E + E ... làm thay đổi khả sản sinh ngônngữvănphạm • Mỗi biến ký hiệu kết thúc vănphạm xuất dẫn xuất số chuỗi ngônngữ • Không có luật sinh A → B (với A, B biến) ● Nếu ngônngữ không chấp nhận chuỗi...
... Được mô tả vănphạmphingữcảnh Tại sử dụng vănphạmphingữcảnh (VPPNC) cho phân tích cú pháp • Cho phép mô tả rõ ràng dễ hiểu cú pháp ngônngữ lập trình • Dễ sửa đổi mở rộng ngônngữ lập trình ... Compiler 2009 22/10/14 19 Ngônngữ loại đoán nhận máy Turing; Ngônngữ loại (cảm ngữ cảnh) đoán nhận ôtômát tuyến tính giới nội (sai khác xâu rỗng); Ngônngữ loại (phi ngữcảnh - viết tắt NNPNC) ... {“bò”, “vàng”, “gặm”, “cỏ”, “non”} ∆ = {, , , , , , , } S = P= → ; → ; < danh ngữ...
... Chomsky vănphạm cảm ngữcảnh Hơn người ta chứng minh ngônngữ {a 2i | i ≥ 1} ngônngữ cảm ngữcảnh không ngônngữphingữcảnh c) Lớp ngônngữ loại tập thực lớp ngônngữ loại Thật vậy, vănphạm ... ngônngữphingữ cảnh, ngônngữ quy 138 Chương VIII :Ôtômát tuyến tính giới nội vănphạm cảm ngữcảnh b) Lớp ngônngữ loại không chứa chuỗi rỗng tập thực lớp ngônngữ loại Thật vănphạmphingữcảnh ... LỚP NGÔNNGỮNgônngữ đoán nhận vănphạm phân loại theo tên lớp văn phạm, ta gọi phân cấp Chomsky ngônngữ Có lớp ngônngữ giới thiệu – tập đệ quy liệt kê (r.e), ngônngữ cảm ngữcảnh (CSL), ngôn...
... vào V' n • Lặp lại không biến thêm vào 12 Các ký hiệu vô ích Định lý 5.2: ngônngữphingữcảnh (CFL) không rỗng sinh từ vănphạmphingữcảnh (CFG) ký hiệu vô ích Ví dụ: xét vănphạm • ... dẫn xuất khác nhau, có dẫn xuất Vănphạm mơ hồ Khái niệm: vănphạmphingữcảnh G gọi vănphạm mơ hồ (ambiguity) có nhiều dẫn xuất cho chuỗi w Ví dụ: xét vănphạm G với luật sinh: E E + E ... làm thay đổi khả sản sinh ngônngữvănphạm • Mỗi biến ký hiệu kết thúc vănphạm xuất dẫn xuất số chuỗi ngônngữ • Không có luật sinh A B (với A, B biến) Nếu ngônngữ không chấp nhận chuỗi...
... Nội dung Suy dẫn phingữcảnh Cây suy dẫn nhập nhằng Giản lược vănphạmphingữcảnh Dạng chuẩn Chomsky Suy dẫn phingữcảnh Vănphạmphingữ cảnh: vănphạm sản xuất có dạng: Aα ... xuất Vănphạm nhập nhằng Khái niệm: vănphạmphingữcảnh G gọi vănphạm nhập nhằng (ambiguity) có nhiều dẫn xuất cho chuỗi w Văn phạm nhập nhằng (tiếp) Một ngônngữ sinh từ vănphạm nhập ... (thường S ε), ε-sản xuất thừa loại bỏ Định lý III.4: Cho vănphạm G=(∑, ∆, P, S) vănphạmphingữcảnh Ta thành lập vănphạmphingữcảnh G’=(∑, ∆, P’, S) ε-sản xuất mà: L(G’)=L(G)-{ε} Loại bỏ...
... Verb as predicate + Complement + Modifier Chủ ngữ Động từ vị ngữ tân ngữ bổ ngữ Chủ ngữ (subject) Đứng đầu câu làm chủ ngữ định việc chia động từ Chủ ngữ cụm từ, động từ nguyên thể (có to), V+ing, ... Sự hoà hợp chủ ngữ động từ Thông thờng động từ đứng liền với chủ ngữ phải chia theo chủ ngữ Song có tr ờng hợp nh 3.1 Chủ ngữ đứng tách khỏi động từ - Đứng xen vào chủ ngữ động từ ngữ giới từ ( ... hợp đại từ quan hệ thay 31.1 That Which làm chủ ngữ câu phụ 31.2 That wich làm tân ngữ câu phụ 31.3 Who làm chủ ngữ câu phụ 31.4 Whom làm tân ngữ câu phụ 31.5 Mệnh đề phụ bắt buộc mệnh đề...
... Những nét hình thành nhờ chỗ người tham gia vào hệ thống quan hệ xã hội, vào trình hoạt động lao động, liền với tham gia người vào trình nắm vững tái tạo văn hoá xã hội (lao động, hoạt động) Chính ... hàng đầu thời gian tới.” Song dựa vào đâu để đảm bảo việc thực cho thật hiệu trả giá đắt lại không dễ dàng; từ chỗ thấy tính tất yếu không cẩn thận lại dễ sa vào ý chí xảy trước trái lại thấy ... thực tế quan niệm chúng ta, người ngày thể rõ vai trò “chủ thể sáng tạo, nguồn cải vật chất văn hoá, văn minh quốc gia” (3) Bởi để đẩy nhanh nghiệp công nghiệp hoá, đại hoá đất nước theo định...
... 1 -Ngôn ngữ mờ 2-Các loại vănphạm 3 -Văn phạmphingữcảnh mờ 4 -Văn phạm Max-Product phingữcảnh 5 -Ngôn ngữphingữcảnh mờ ... loại văn phạm, mở rộng bốn loại vănphạm thông thờng Tiểu luận sâu tìm hiểu vănphạmphingữcảnh mờ dạng chuẩn tắc Chomsky Greibach; vănphạm max-product phingữ cảnh; ngônngữphingữcảnh mờ ... A Vănphạm loại (chính quy): Là vănphạm mà quy tắc có dạng A c c aB A a, c>0, aT, A, BN Quy tắc S A thuộc vănphạm loại Ta vănphạm cảm ngữcảnh đệ quy vănphạmphingữcảnhvăn phạm...
... Lý thuyết Ôtômát & NNHT - Khoa Công Nghệ Thông Tin Vănphạm qui Vănphạm tuyến tính - phải – trái Vănphạm tuyến tính - phải sinh NNCQ Vănphạm tuyến tính - phải cho NNCQ Sự tương đương VPCQ ... Tin Vănphạm tuyến tính VP G = ({S, A, B}, {a, b}, S, P), với luật sinh S → A, A → aB | λ, B → Ab, VPCQ Đây ví dụ vănphạm tuyến tính (VPTT) Vănphạm tuyến tính (Linear Grammar) Một vănphạm ... Thông Tin Vănphạm tuyến tính - phải - trái Định nghĩa 3.3 Một vănphạm G = (V, T, S, P) gọi tuyến tính - phải (TT-P) (right-linear) tất luật sinh có dạng A → xB A→x A, B ∈ V, x ∈ T* Một văn phạm...
... ghép văn phạm, h ãy xây dựng vănphạm sinh ngônngữ L = { a nbm | Bài giải Toán học rời rạc m, n 1} Vănphạm bạn xây dựng đợc tơng đơng với vănphạm biết 32 *Xây dựng vănphạm sinh ngônngữ L ... Vănphạm Tơng đơng 23 Hãy tìm vănphạm tơng đơng vănphạm tập từ đến 24 Hãy tìm vănphạm tơng đơng vănphạm tập từ 10 đến 12 IV Các Phép toán ngônngữ 25 Cho vănphạm Gi = (i = ... Bằng cách xét giao văn phạm, h ãy xây dựng vănphạm sinh ngônngữ L = { a n bn | n 1} (Gợi ý : áp dụng 12) 30 Bằng cách xét giao văn phạm, h ãy xây dựng vănphạm sinh ngônngữ L = { ab | {a,...
... a, b xen k v u xõu l b } f Do I aII nờn xõu sinh bi I phi bt u l a, mt khỏc tt c cỏc xõu trung gian u phi kt thỳc bi II nờn xõu sinh bi I phi kt thỳc bi bb Ngoi vi mi I sinh aII nờn s cú thờm ... thỳc} hoc R = {I A} {chớnh qui, khụng b {} sinh R = {I } { xõu phi ng no cnh, sinh } xõu rng } c {a1a2 an} R = {I a1a2 an } { phi ng cnh } hoc R = {I a1A1, A1 a2A2, d + , R An-2 = { I ... im ca phm v thng s dng cỏch chng minh qui np theo di ca xõu kớ t ca L chng minh L = L(G) ta cn phi chng minh hai v ca khng nh : i nu I |- thỡ L v ngc li ii nu L thỡ I |- ngha l mi dn xut...