Tin học lý thuyết - Chương 5 ppsx

... Nếu ngôn ngữ không chấp nhận chuỗi rỗng ε thì không cần luật sinh A  ε . 14 Luật sinh ε Định lý 5. 3: (loại bỏ luật sinh A  ε ) Cho CFG G(V, T, P, S) và L là ngôn ngữ sinh ra bởi G. Khi đó ... hi ệ u a không đ ổ i, nhưng s ố ký hi ệ u b (ho ặ c c) s ẽ thay đ ổ i. 13 Các ký hiệu vô ích Định lý 5. 2: mỗi ngôn ngữ phi ngữ cảnh (CFL) không rỗng được sinh ra từ một văn phạm phi ngữ...

Ngày tải lên: 25/07/2014, 05:20

... BÀI TẬP LẬP TRÌNH 5. 14. Viết chương trình loại bỏ các ký hiệu vô ích trong một CFG. 5. 15. Viết chương trình chuẩn hóa một CFG thành dạng chuẩn CHOMSKY (CNF). Chương V : Văn phạm phi ... Grammars). [2] V.J. Rayward-Smith – A First course in Formal Language Theory (Second Editor) – McGraw-Hill Book Company Europe – 19 95 (Chapter 5: Context-Free Languages ) Chương V...

Ngày tải lên: 25/07/2014, 05:20

... 10)δ(q 2 , 0, B) = {(q 2 , ε)} 5) δ(q 1 , 0, Y) = {(q 1 , BY)} 11) δ(q 2 , 1, Y) = {(q 2 , ε)} 6) δ(q 1 , 1, Y) = {(q 1 , YY)} 12)δ(q 2 , ε, R) = {(q 2 , ε)} 15 Tương đương giữa PDA và CFL Ví ... = {(q 1 , BY)} 9) δ(q 1 , ε, R) = {(q 2 , ε)} 5) δ(q 1 , 1, B) = {(q 1 , YB)} 10)δ(q 2 , ε, R) = {(q 2 , ε)} 14 Tương đương giữa PDA và CFL Định lý 6.4: Nếu L được chấp nhận bởi một PDA chấp ....

Ngày tải lên: 25/07/2014, 05:20

... hình 5. 12). n n M x O Vận tốc của vật xác định đợc v x = ;v dt dx o = y Hình 5. 12 -6 9- Trên hình có x = OH = OP - PH = R - R sin ; y = HM =R + Rsin( -9 0 0 ) = R - Rcos ... và v max = 3a . Theo biểu thức (5. 7) xác định đợc gia tốc của điểm M: w x = 2 2 dt xd = -3 a 2 cos t = - 2 x; w y = -a 2 sin t = - 2 y;...

Ngày tải lên: 17/10/2012, 10:41

... H ình 5. 5 v= s dt ds t s lim 0t & == (5. 8) s 1 -0 + M 1 s v s Vận tốc có giá trị bằng đạo hàm bậc nhất theo thời gian của quÃng đờng s, có phơng tiếp H ình 5. 6 -5 8- Nếu ... hình 5. 12). n n M x O Vận tốc của vật xác định đợc v x = ;v dt dx o = y H ình 5. 12 -6 9- Trên hình có x = OH = OP - PH = R - R sin; y = HM =...

Ngày tải lên: 21/01/2014, 03:20

... ứng với góc của cơ cấu, với = t. H ình 5. 9 -6 9- Trên hình có x = OH = OP - PH = R - R sin; y = HM =R + Rsin( -9 0 0 ) = R - Rcos = R(1 - cos); Vì bánh xe lăn không trợt nên: OP = ... H ình 5. 5 v= s dt ds t s lim 0t & == (5. 8) s 1 -0 + M 1 s v s Vận tốc có giá trị bằng đạo hàm bậc nhất theo thời gian của quÃng đờng s, có phơ...

Ngày tải lên: 19/06/2014, 22:20

... R-SQUARE F-RATIO P-VALUE ON F OBSERVATIONS: 9 0.9382 45. 527 0.0002 VARIABLE PARAMETER ESTIMATE STANDARD ERROR T-RATIO P-VALUE Intercept 44.473 6.487 6. 856 0.00 05 Q -0 .143 0.0482 -2 .967 0.0 254 Q2 ... tính chất toán học của hàm sản xuất Cobb - Douglas trong cả ngắn hạn và dài hạn và giải thích xem làm thế nào để ước 2 ThS. Phan Thế Công Đại học Thương mại Bổ sung lý th...

Ngày tải lên: 05/07/2014, 02:20

... (Membership) Chương VIII :Ôtômát tuyến tính giới nội và văn phạm cảm ngữ cảnh 137 Cách chứng minh định lý này cũng tương tự như cách chứng minh của định lý 7.9 ở chương trước về ... http://cs.engr.uky.edu/~lewis/texts/theory/automata/lb-auto.pdf I. ÔTÔMÁT TUYẾN TÍNH GIỚI NỘI (LBA) Chương VIII :Ôtômát tuyến tính giới nội và văn phạm cảm ngữ cảnh 1 35 II. V...

Ngày tải lên: 25/07/2014, 05:20

... X, R) (q 3 , Y, R) - - - q 1 (q 1 , 0, R) (q 2 , Y, L) - (q 1 , Y, R) - q 2 (q 2 , 0, L) - (q 0 , X, R) (q 2 , Y, L) - q 3 - - - (q 3 , Y, R) (q 4 , B, ∅) q 4 - - - - - ác phép chuyển ... : Chương VII : Máy Turing 122 (a) - Băng của M 2 A 0 A 1 A 2 A 3 A 4 A 5 ⊄ A -1 A -2 A -3 A -4 A -5 (b...

Ngày tải lên: 25/07/2014, 05:20

... đã học trong chương trước (ĐỊNH LÝ 5. 2) để viết một văn phạm tương đương với văn phạm trên không có chứa các ký hiệu vô ích ? 2.3. Quan hệ giữa CFL và tập hợp chính quy ĐỊNH LÝ 6 .5 :Nếu ... (Chapter 5 : Pushdown Automata ) [3] Hồ Văn Quân – Giáo trình lý thuyết ôtômát và ngôn ngữ hình thức – Nhà xuất bản Đại học quốc gia Tp. Hồ Chí Minh – 2002. [4] Copy right...

Ngày tải lên: 25/07/2014, 05:20