0

biểu diễn tri thức bằng lôgic vị từ cấp 1

TÌM HIỂU VỀ HỆ CHUYÊN GIA VÀ BIỂU DIỄN TRI THỨC TRONG HỆ CHUYÊN GIA

TÌM HIỂU VỀ HỆ CHUYÊN GIA VÀ BIỂU DIỄN TRI THỨC TRONG HỆ CHUYÊN GIA

Hệ thống thông tin

... X • Gọi lôgic vị từ cấp lượng tử cho vị từ hàm như: (∀P)P(a), (∀f)P(f(X),b) (lôgic vị từ cấp cao higher-order) Biểu diễn tri thức lôgic vị từ cấpTri thức: “Mọi người chết” biểu diễn bằng: (∀X) ... THEN Biểu diễn tri thức lôgicLôgic vị từ: Phát biểu Công thức Tom người MAN(tom) Tom cha Mary FATHER(Tom,Mary) Tất người MAN(X)  MORTAL(X) chết (X biến) Biểu diễn tri thức lôgic • Cho tri thức ... với mọi; ∃: lượng tử tồn Biểu diễn tri thức lôgic vị từ cấp • Term: – Các biến term – Nếu f hàm t1, …, tn term, f(t1,…,tn) term • Atom biểu thức P(t1, …,tn), với P vị từ, t1,…,tn term dụ: MAN(tom),...
  • 70
  • 739
  • 1
Báo cáo nghiên cứu khoa học:

Báo cáo nghiên cứu khoa học: "ẢNH HƯỞNG CỦA TỶ LỆ NƯỚC/XI MĂNG ĐẾN CÁC TÍNH CHẤT CỦA BÊ TÔNG TỰ LÈN" doc

Báo cáo khoa học

... Đường cong cấp phối cốt liệu dùng cho hỗn hợp SCC thể hình Lượng sót tích lũy (%) 10 0 16 , 10 0 80 8, 79 4, 62 60 2, 44 40 1, 26 20 0.5, 14 0.25, 0 10 12 14 16 Kích thước mắt sàng (mm) Hình Cấp phối ... phần hoá học (%) Khối lượng riêng CaO MgO Fe2 O3 SO3 Loss (g/cm3) 64 .11 1. 46 4.38 1. 72 1. 18 3 .15 Diện tích bề mặt (m2/kg) 450 2 .1. 2 Bột đá Bột đá dùng cho thí nghiệm nhằm nâng cao độ dẻo bê tông ... (kg/m3) 8 61 225 3.7 612 886 200 6.5 620 898 18 0 7.9 623 932 15 4 9.0 637 963 14 0 13 .0 650 W/C (theo k.lượng ) 0.60 0.53 0.48 0. 41 0.37 W/P (theo k.lượng) 0.37 0.32 0.29 0.24 0.22 K lượng đơn vị (kg/m3)...
  • 6
  • 859
  • 5
Báo cáo nghiên cứu khoa học:

Báo cáo nghiên cứu khoa học: " CÁC TÍNH CHẤT CỦA ÁNH XẠ TỪ THAM SỐ ĐẾN NGHIỆM CHO BÀI TOÁN ELLIPTIC" docx

Báo cáo khoa học

... (7), (10 ) Từ (6) (8) Do đó, Chọn ta suy Như vậy, theo (10 ), Thay ta có bất đẳng thức (11 ) Điều chứng tỏ Ngoài ra, theo (10 ) (4) ta có bất đẳng thức (9) Khẳng định chứng minh Bây tính đạo hàm cấp ... , ta suy Chọn Theo (11 ) có: (16 ) Sự kết hợp (15 ) (16 ) kéo theo Bây lấy Như vậy, >0 bất kỳ, chọn >0, tồn Điều có nghĩa cho cho thì: Phần lại Định lý suy từ bất đẳng thức (15 ) Kết sau chứng minh ... phương trình biến phân, với , Hơn nữa, (14 ) Chứng minh Với dạng tuyến tính liên tục ta có nên theo Bổ đề 2, toàn xác định từ (13 ) Đặt hoàn Ta có (15 ) Từ (12 ) (13 ), với có chuẩn đủ nhỏ Thực phép biến...
  • 8
  • 550
  • 0
Nghiên cứu ảnh hưởng của các loại bức xạ năng lượng cao đến các tính chất của chấm lượng tử CdTe định hướng ứng dụng trong môi trường vũ trụ

Nghiên cứu ảnh hưởng của các loại bức xạ năng lượng cao đến các tính chất của chấm lượng tử CdTe định hướng ứng dụng trong môi trường vũ trụ

Kỹ thuật

... 29 .11 30.89 30.92 30.94 30.70 29.92 530 30.45 31. 44 31. 39 30.90 30.77 30.82 540 31. 09 31. 99 31. 37 31. 12 31. 13 31. 18 550 31. 13 31. 93 31. 20 31. 11 31. 31 31. 33 560 31. 15 31. 92 31. 77 31. 42 31. 67 31. 58 ... mẫu Từ phổ nhiễu xạ tia X tính số mạng hệ số dãn nở nhiệt CdTe theo phương trình sau: a(T ) = 6.4802 + 31. 94 10 -6T + 31. 94 10 -9T2+ 31. 94 10 -12 T3 , (1. 1) β(T ) = 4.932 10 -6+ 1. 165 10 -9T + 1. 428 ... % Silic tinh thể 7.039 87 .1 7.707 80.2 9.242 76.6 CdTe 515 6.4 1. 180 12 .3 1. 5 71 13.0 Màng mỏng khác 525 6.5 725 7.5 1. 248 10 .4 Tổng cộng 8.079 10 0 9. 612 10 0 12 .064 10 0 Công nghệ sản xuất Ta nhận...
  • 55
  • 879
  • 1
Các tính chất của khí tự nhiên và khí đồng hành

Các tính chất của khí tự nhiên và khí đồng hành

Hóa học - Dầu khí

... S 4,934 7,66 1, 95 4,350 7,30 2,960 5,38 1, 33 2,030 3 ,14 1, 790 2, 71 1,300 2 ,10 1, 100 1, 80 1, 000 1, 60 1, 000 1, 60 1, 000 1, 60 1, 000 1, 60 1, 000 1, 60 1, 000 1, 60 2,960 5,38 1, 33 2,030 3 ,14 Sai số trung ... 1, 25 4,050 1, 139 0,373 1, 512 0,086 1, 164 H2S 0,50 1, 740 0,236 0, 319 0,554 0,073 0,427 C1 21, 36 5,950 21, 974 4,439 26, 413 1, 0 21 20,338 C2 36,78 2 ,16 0 22,535 19 ,427 41, 962 4,468 32, 311 C3 10 , 21 ... 0,5620 28, 016 44, 010 34,076 32,000 2, 016 18 , 015 0,29 0,28 0,28 0,29 0,30 0,235 227 548 672 278 60 11 65 12 6 304 373 15 5 33 647 493 10 71 1300 7 31 188 319 9 3,40 7,38 8,96 5,04 1, 30 22,06 9, 71 14,44 20,28...
  • 36
  • 1,230
  • 0
Các dạng hội tụ của dãy suy rộng các đại lượng ngẫu nhiên và các tính chất của martingale nhiều chỉ số

Các dạng hội tụ của dãy suy rộng các đại lượng ngẫu nhiên và các tính chất của martingale nhiều chỉ số

Kỹ thuật

... có Et X Et1k Etk +1d X (2 .1) Thay Xt (-Xt) ta có X t = Et X Et1k Etk +1d X Et X Et1k Et1+k d X (2.2) Từ (2 .1) (2.2) Et X = Et1k Etk +1d X (b a) Giả sử Et X = Et1k Etk +1d X Khi 1 E s k X ... +1 l +1 E X i =1 j =1 (nhờ bổ đề 3.4) ij 2 k +1 l +1 M k l E X ij P k2 2l > + C ( k +1) ( l +1) 2 i = j =1 2 Do P{Tkl k = l= 1 Tkl h.c.c > } < (theo (*)) ( (k, l) ) Từ (3 .1) ... B ) t t Đặt B1 = A ( B1 ) chọn t1 s1 cho P( At1 B1 ) Sau đặt B2 = A \ At chọn t2 t1 ; t2 s2 cho P( At2 B2 ) ( B2 ) Tiếp tục trình với Bn +1 = A \ n i =1 P( Atn +1 Bn +1 ) cho Suy...
  • 40
  • 1,059
  • 0
Về các tính chất của hội tụ thô

Về các tính chất của hội tụ thô

Khoa học tự nhiên

... minh Mặt khác đa số mệnh đề nh mệnh đề 1. 2.4, 1. 2.5, 1. 3.2, 1. 5.2, 1. 5.3, 1. 5.4, 1. 5.5, 1. 5.6, 1. 5.7, 1. 5.8 góp phần làm phong phú thêm kết hội tụ thô 1. 1 Các định nghĩa Cho (X, ||.||) không gian ... minh tính chất hội tụ thô nêu [1] nhng cha có chứng minh Mặt khác đa chứng minh số mệnh đề nh mệnh đề 1. 2.4, 1. 2.5, 1. 3.2, 1. 5.2, 1. 5.3, 1. 5.4, 1. 5.5, 1. 5.6, 1. 5.7, 1. 5.8 góp phần làm phong phú ... xi|| r1 - r2 với i = 1, 2, Nếu yi tính theo công thức (1) ||yi - xi|| = ||xi - x*|| r1 - r2 Nếu yi tính theo công thức (2) ||xi - yi|| = r1 r2 ( xi x* ) xi x* = r1 r2 xi x* xi x* = r1 -...
  • 35
  • 594
  • 2
Đề tài : Chế tạo và khảo sát các tính chất của màng ôxít titan (tio2), ôxít kẽm (zno) cấu trúc nano ứng dụng làm điện cực thu điện tử trong pin mặt trời quang điện hóa

Đề tài : Chế tạo và khảo sát các tính chất của màng ôxít titan (tio2), ôxít kẽm (zno) cấu trúc nano ứng dụng làm điện cực thu điện tử trong pin mặt trời quang điện hóa

Tiến sĩ

... 1. 1 Pin m t tr i quang ñi n hóa d ng SSSC 1. 1 .1 Sơ lư c v l ch s phát tri n c a pin m t tr i 1. 1.2 C u t o nguyên lý làm vi c c a pin m t tr i quang ñi n hóa SSSC .10 1. 1.3 ... ch vào kho ng 1- 2 % [27] Lee Chang công b [ 71] ñ t 1, 16% Còn công b [11 2], Shalom c ng s ñ t ñư c hi u su t 1, 24 % s màng TiO2 t m CdS 33 Hình 1. 20: nh SEM b m t màng ZnO 2D (1) ; (2) ñ c trưng ... kho ng 18 50 0C TiO2 23 B ng 1. 1: M t vài tính ch t quan tr ng c a TiO2 pha anatase rutile [12 , 52, 54, 10 9, 11 8] Tính ch t Pha anatase Pha rutile Tetragola Tetragola a=3,785 a=4,594 c= 9, 514 c=2,959...
  • 159
  • 1,164
  • 0
CỦNG CỐ CÁC TÍNH CHẤT CỦA BỐN PHÉP TÍNH VỚI SỐ TỰ NHIÊN pptx

CỦNG CỐ CÁC TÍNH CHẤT CỦA BỐN PHÉP TÍNH VỚI SỐ TỰ NHIÊN pptx

Toán học

... x 49 = 10 x 46 + 41 x 46 + 46 x 49 = 46 x ( 10 + 41 + 49 ) = 46 x 10 0 = 4600 c/ 31 x 15 + 15 0 x - 15 + 20 x 15 = 31 x 15 + 15 x 50 -15 + 20 x 15 = 15 x ( 31 + 50 - + 20 ) = 15 x 10 0 = 15 00 Bài ... = 15 00 Bài tập Tính nhanh a/ 23 + 12 3 + 77 + 877 = 23 + 77 + 12 3 + 877 = 10 0 + 10 00 = 11 00 b/ 25 x 12 2 x x 10 = 25 x 12 2 x 40 = 25 x 40 x 12 2 = 10 00 x 12 2 = 12 20 c/ 460 : (5 x 23) = 460 : 23 ... = 75 x 10 0 = 7500 Bài tập Tính nhanh a/ 74 x 18 + 740 x + 22 x 74 = 74 x 18 + 74 x 60 + 22 x 74 = 74 x ( 18 + 60 + 22) = 74 x 10 0 = 7400 b/ 20 x 23 + 41 x 46 + 46 x 49 = 10 x x 23 + 41 x 46 +...
  • 3
  • 1,459
  • 16
§7. CÁC TÍNH CHẤT CỦA DÃY SỐ HỘI TỤ pdf

§7. CÁC TÍNH CHẤT CỦA DÃY SỐ HỘI TỤ pdf

Toán học

... hạn kẹp n xn ,0 xn ) (1 n n 2, n , xn xn )n (1 n n nên n(n 1) xn (khai tri n nhò thức 2 Cn xn n Newton) Từ ta suy xn 2, (n r)n (1 (Trường hợp tổng quát, chọn số tự nhiên k (1 r) n k Cn rk , n r) ... khai tri n nhò thức Newton r xn ) nên n 0, suy lim n r lim xn r 1, n nxn (do 1 r Trường hợp r = hiển nhiên Khi < r < s áp dụng trường hợp trước, ta có lim n s lim n r n lim n Vậy lim n r r 1, ... đònh en En a) n n n n ; n , en Chứng minh en Hdẫn: en en n 1 n n 1 (n , dùng 1) 2 bất đẳng thức Bernouli b) n , En En Hdẫn: En En n n 1 c) Chứng minh tồn giới hạn sau lim en n(n 2) n lim En §8...
  • 7
  • 5,403
  • 28
Tóm tắt luận án chế tạo và khảo sát các tính chất của màng ôxít titan (tio2), ôxít kẽm (zno) cấu trúc nano ứng dụng làm điện cực thu điện tử trong pin mặt trời quang điện hóa

Tóm tắt luận án chế tạo và khảo sát các tính chất của màng ôxít titan (tio2), ôxít kẽm (zno) cấu trúc nano ứng dụng làm điện cực thu điện tử trong pin mặt trời quang điện hóa

Tiến sĩ

... IT O T7 (2 0 ) (2 1 ) (2 ) (004) A (200) A ( 211 ) (204) A (11 6) (220) (11 1) R T4 A A R (0 ) IT O 0 T8 IT O d =1, 8955 A d =1, 8945 A d =1, 8925 A (10 1) (11 2) (3 01) R R ( 211 ) R IT O (1 ) d=2,3777 Ad=2,3778 ... dày nhi t ñ 300 (002) (002) C−êng ®é (®Õm/gi©y) 250 200 (10 1) a) ZnO CdS b) (10 0) 15 0 (10 1) (10 0) 10 0 (10 2) (11 0) (11 0) (11 2) (10 3) 50 10 20 30 40 50 Gãc 2-theta (®é) 60 Hình 4.5: nh SEM b m t ... A/cm ) FF η (%) 12 0 24 0,43 0,006 15 317 31 0, 41 0,05 30 445 12 5 0,36 0 ,10 55 486 270 0,34 0,22 70 465 412 0,34 0,33 10 0 477 367 0,32 0,28 15 0 442 217 0, 31 0 ,15 18 0 460 200 0,29 0 ,13 ño ñ c trưng...
  • 24
  • 980
  • 1
Báo cáo nghiên cứu khoa học:

Báo cáo nghiên cứu khoa học: "SO SÁNH ẢNH HƯỞNG CỦA MỘT SỐ LOẠI PHỤ GIA SIÊU DẺO GỐC POLYCARBOXYLATE ĐẾN CÁC TÍNH CHẤT CỦA VỮA TỰ CHẢY MÁC 30 MPA" ppsx

Báo cáo khoa học

... phần cấp phối cho bảng Ký hiệu CP1 CP2 CP3 CP4 CP5 CP6 XM, kg 380 380 350 350 340 330 TT/XM, % 10 10 10 10 10 10 Bảng Thành phần cấp BĐV, Cát QB, kg kg 540 10 50 540 10 50 540 10 50 570 10 50 580 10 50 ... kg/m3 Cát QB kg/m3 Loại PGSD 300 300 300 300 300 10 10 10 10 10 620 620 620 620 620 10 50 10 50 10 50 10 50 10 50 HE _10 3000 _10 SP8S SP 51 SCC Tỉ lệ PGSD % 1, 6 0,5 0,8 0,6 0,8 N/B % 24,0 29,0 29,0 24,0 ... dụng HE _10 SCC SP8S 3000 _10 SP 51 Độ giảm nước SCC SP 51 HE _10 SP8S 3000 _10 Tổn thất độ chảy 3000 _10 SP8S HE _10 SP 51 SCC Mác SCC HE _10 SP 51 SP8S 3000 _10 TÀI LIỆU THAM KHẢO TCXD 258 : 20 01, Phương...
  • 8
  • 777
  • 2
các tính chất của nghiệm phương trình elliptic tuyến tính cấp hai dạng bảo toàn

các tính chất của nghiệm phương trình elliptic tuyến tính cấp hai dạng bảo toàn

Thạc sĩ - Cao học

... ))dy (1. 44) Rd ∖B (x1 ,δ ) Tích phân thứ tri t tiêu (1. 38) Sử dụng (1. 41) y ∈ Rd ∖ B (x1 , δ ), c9 ≤ x3 − y d +1 x1 − y d +1 Ta có: I2 ≤ c10 δ f Cα ∫Rd ∖B (x ,δ ) x1 − y α−d 1 ≤ c 11 δ α f Cα (1. 45) ... 2Du.Dη + u∆η, (1. 51) ∆φ C0 ≤ ∆u C0 + c15 η C2 u C1 (1. 52) Và Bổ đề 1. 5.4, ta có: ∆φ Cα ≤ c16 η C 2,α ( ∆u Cα + u C 1, α ) (1. 53) Ở tất chuẩn tính toán B (0, R2 ) Từ Định lý 1. 5.5 (1. 52) (1. 53), ta ... = ( 1, 1) ⊂ R u(x) = x , trường hợp u ∈ W 1, 2 ( 1, 1) ⎧ ⎪ < x < ⎪ Du(x) = ⎨ ⎪ 1 1 < x < ⎪ ⎩ Suy Du(x) = signx Thật vậy, 1 ∀φ ∈ C0 (( 1, 1) ), ∫ −φ(x)dx + ∫ φ(x)dx = − ∫ φ′ (x) x dx, 1 1 thỏa...
  • 61
  • 430
  • 0
Nghiên cứu các tính chất của vải nhuộm bằng chất màu tự nhiên để sử dụng cho thiết kế sản phẩm áo sơmi

Nghiên cứu các tính chất của vải nhuộm bằng chất màu tự nhiên để sử dụng cho thiết kế sản phẩm áo sơmi

Kinh tế

... 29,4 12 5.662 17 3. 516 -27,6 Achentina 15 .982 2.532 5 31, 2 12 4.289 16 .987 6 31, 7 Niu Zi Lân 16 .494 12 .465 32,3 11 1.705 85.235 31, 1 Malaixia 40.954 27.083 51, 2 10 6 .11 8 13 1.334 -19 ,2 Braxin 26.660 * 10 2.458 ... 26.074 20.090 29,8 12 1.436 10 9.265 11 ,1 Hunggary 51. 899 18 .484 18 0,8 10 7.344 12 4.675 -13 ,9 T/v khác 3 .17 7 10 450 29. 313 73.573 Nhật Bản Hàn Quốc 3.825.608 2.566 .11 0 917 .662 1. 109.846 Học viên: ... 8. 210 247,5 246.2 91 61. 964 297,5 Nga 57. 411 65.889 -12 ,9 210 .876 454.4 91 -53,6 Panama 29.5 51 34.757 -15 ,0 19 9 .11 7 270.356 -26,4 Ăngôla 72.000 73.064 -1, 5 13 4 .10 0 204.579 -34,5 Singapore 15 .5 81 12.037...
  • 108
  • 966
  • 2
Tiểu luận môn TOÁN CHO KHOA HỌC MÁY TÍNH LÝ THUYẾT LOGIC VỊ TỪ VÀ MỘT SỐ ỨNG DỤNG CỦA LOGIC VỊ TỪ

Tiểu luận môn TOÁN CHO KHOA HỌC MÁY TÍNH LÝ THUYẾT LOGIC VỊ TỪ VÀ MỘT SỐ ỨNG DỤNG CỦA LOGIC VỊ TỪ

Hệ thống thông tin

... H>=9.5, H =11 .5, H =13 .5, H =15 .5, H =17 .5, H =19 .5, H< 21. 5, H1="Tuat"; H>= 21. 5, H
  • 46
  • 609
  • 0
Các khảo sát về tính đặc biệt của các tính chất dẫn điện và từ của chất nghịch từ kích thước nhỏ licu2o2 liên quan đến sự doping nó

Các khảo sát về tính đặc biệt của các tính chất dẫn điệntừ của chất nghịch từ kích thước nhỏ licu2o2 liên quan đến sự doping nó

Tiến sĩ

... системах 1. 1 .1 Система с сильным коррелированием электронного взаимодействия 1. 2 13 13 1. 1.2 Полярон 16 1. 1.3 Прыжковая проводимость 18 Данные о структуре и свойствах купрата лития LiCu2O2 33 1. 2 .1 ... =1/ 2 – m(Γ > 1) = 9/2; а для ν = 1/ 4 – m(Γ > 1) = 25/4 В тоже время для короткодействующих потенциалов имеем огибающую F(r) ~ r -1 exp(r/a) и при ν =1/ 2 ... токе на частотах 0 .1, 1. 0, 10 .0, 10 0.0 кГц в координатах lgρ 1/ T (на вставке представлена температурная зависимость сопротивления в мотовских координатах lgρ 1/ T1/4)/ 40 Рис 1. 10 Температурные...
  • 121
  • 429
  • 0
Các tính chất của biến đổi Z hai phía

Các tính chất của biến đổi Z hai phía

Kỹ thuật lập trình

... [2 .1- 8] : a X 1( z ) = ∞ ∑ x(n).z − n = n =1 b Y 1( z ) = ∞ ∑ x(n − 1) .z −n n =1 = ∑ x(n).z −n n =1 ∑ x(n − 1) .z = 1z + 1z 1 = z 1 −n = 1z + 1z 1 + 1z − = + z − n =1 Tính Y ( z ) theo biểu ... Tính Y ( z ) theo biểu thức tính chất trễ [2.2 -19 ]: Y 1( z ) = ZT 1[ x (n − = z −1X 1( z ) + x( 1 = z −1z 1 + = z 1 + )] ) Kết tính Y 1( z ) theo hai công thức [2 .1- 8] [2.2 -19 ] c Y ( z) = ∞ ∑ ... − 1) .z − n = n = −∞ 1 H ( z ) = ZT [ h( n)] = z ∑2 n z −n n =1 +2 z −2 z ( z − 1) z Y ( z ) = X ( z ) X ( z ) = ( 21 z 1 + 2 z − ) Do : ( z − 1) z z Y ( z ) = z 1 + z −2 ( z − 1) ( z − 1) ...
  • 7
  • 1,126
  • 9
Các tính chất của ngôn ngữ chính qui

Các tính chất của ngôn ngữ chính qui

Điện - Điện tử

... Cho L1 = {anbm: n ≥ 1, m ≥ 0} ∪ {ba} L2 = {bm: m ≥ 1} , L1 /L2 = { anbm: n ≥ 1, m ≥ 0} L1, L2, L1 /L2 NNCQ , điều gợi ý cho thương hai NNCQ NNCQ Bổ đề Cho M1 = (Q1, Σ, 1, q0, F1) dfa cho L1 Nếu ... giản Định lý 4 .1 Nếu L1 L2 NNCQ, L1∪L2, L1∩L2 , L1L2, L L1* Chúng ta nói họ NNCQ đóng phép hội, giao, kết nối, bù bao đóng-sao Chứng minh Nếu L1, L2 qui ∃ BTCQ r1, r2 cho L1= L(r1), L2= L(r2) ... khác? Biểu diễn chuẩn (Standard representation) Chúng ta nói NNCQ cho dạng biểu diễn chuẩn mô tả ba dạng sau đây: ôtômát hữu hạn, BTCQ VPCQ Chú ý từ dạng biểu diễn chuẩn xác định dạng biểu diễn...
  • 27
  • 1,273
  • 1
Các tính chất của NNPNC

Các tính chất của NNPNC

Điện - Điện tử

... Giả sử G1 = (V1, T1, S1, P1), G2 = (V2, T2, S2, P2) hai VPPNC Văn phạm G3 = (V1 ∪ V2 ∪ {S3}, T1 ∪ T2, S3, P1 ∪ P2 ∪ {S3 → S1 | S2}) có L(G3) = L(G1) ∪ L(G2) Văn phạm G4 = (V1 ∪ V2 ∪ {S4}, T1 ∪ T2, ... = (V1 ∪ V2 ∪ {S4}, T1 ∪ T2, S4, P1 ∪ P2 ∪ {S4 → S1S2}) có L(G4) = L(G1)L(G2) Văn phạm G5 = (V1 ∪ {S5}, T1, S5, P1 ∪ {S5 → S1S5 | λ}) có L(G5) = L(G1)* Trang 2 81 Lý thuyết Ôtômát & NNHT - Khoa ... câu tăng tối đa (k -1) kí hiệu ⇒ chuỗi w dẫn xuất dài p bước |w| ≤ + p(k -1) (1) Đặt |V|= n Chọn m = + n(k -1) Xét w ∈ L, |w|≥ m (1) ⇒ dẫn xuất w có ≥ (n +1) bước ⇒ dẫn xuất có ≥ (n +1) dạng câu mà câu...
  • 18
  • 719
  • 1

Xem thêm