Tin học lý thuyết - Chương 6 docx

... đã 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 ... định lý 6. 1 2.2. Tương đương giữa PDA và CFL ĐỊNH LÝ 6. 3: Nếu L là ngôn ngữ phi ngữ cảnh thì tồn tại PDA M sao cho L = N(M). Chứng minh Giả sử ε không thuộc L(G) (có thể sửa đ...

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

... thay bằng tập hợp các luật sinh : A → B 1 D 1 D 1 → B 2 D 2 D m - 3 → B m - 2 D m - 2 D m - 2 → B m - 1 B m Đặt V’’ là tập các biến mới, P’’ là tập các luật sinh mới và ... Grammars). [2] V.J. Rayward-Smith – A First course in Formal Language Theory (Second Editor) – McGraw-Hill Book Company Europe – 1995 (Chapter 5: Context-Free Languages )...

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

... δ(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 nhận chuỗi bởi Stack rỗng thì L là ngôn ngữ phi ngữ ... dạng [q, A, q 1 ] → a 12 Tương đương giữa PDA với Stack rỗng và PDA với trạng thái kết thúc Định lý 6. 2: Nếu một ngôn ngữ phi ngữ cảnh L được chấp nhận bởi một PDA chấp nhận chuỗi bởi St...

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

... -5 3- Suy ra CC 1 = CE 3 1 = EC 4 1 1 -4 6- Chơng 4 Trọng tâm của vật rắn 4.1. Tâm của hệ lực song song Hệ lực song ... dụng định lý Va-ri-nhông. Cho hợp lực ' nh hình vẽ ta có: R r x M y (R') = = n 1i m y (F n i ); H ình 4.1 R.X c = = n 1i F i x i ; hay X c = R xF n 1i ii = ; -4 7- Trong ... P xP n 1i ii = ; Y c = P yP n 1i ii = ;...

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

... biểu thức sau: 2 1 ăn khớp ngoài = - 1 2 r r = - 1 2 z z (6. 11) H ình 6 -1 0a 2 1 ăn khớp trong = 1 2 r r = 1 2 z z (6. 12) 1 0 1 1 A 2 0 2 2 z 1 và z 2 là số ... định (Hình 6. 11). H ình 6 -1 0b Trớc hết khảo sát các bánh răng ăn khớp ngoài. Theo biểu thức (6. 1) áp dụng cho các cặp bánh răng tiếp theo ta có: 1 0 1 0 2 0 3 2...

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

... của Niu -Tơn Cơ sở lý luận của động lực học chủ yếu là các định luật của NIU - TON. I-sác Niu Tơn ( 164 3-1 727) là nhà bác học lỗi lạc đà đặt nền móng cho cơ học cổ điển và đà xây dựng lý thuyết ... 0 v r -1 3 5- Phần 3 Động lực học Chơng 11 Các định luật của niu-tơn và phơng trình vi phân chuyển động 11.1. Các khái niệm cơ bản Động lực là phần tổng quát...

Ngày tải lên: 26/01/2014, 05:20

... của Niu -Tơn Cơ sở lý luận của động lực học chủ yếu là các định luật của NIU - TON. I-sác Niu Tơn ( 164 3-1 727) là nhà bác học lỗi lạc đà đặt nền móng cho cơ học cổ điển và đà xây dựng lý thuyết ... đợc : -1 3 5- Phần 3 Động lực học Chơng 11 Các định luật của niu-tơn và phơng trình vi phân chuyển động 11.1. Các khái niệm cơ bản Động lực là phần tổng quát...

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