Lý thuyết ngôn ngữ hình thức và ôtômát - Chương 1 ppt

... L 2 L 3 = { 010 , 10 0}, L 1 ∪ (L 2 L 3 ) = {0, 01, 010 , 10 0}, L 1 ∪ L 2 = {0, 01, 10 }, L 1 ∪ L 3 = {0, 01} , (L 1 ∪ L 2 )(L 1 ∪ L 3 ) = {00, 0 01, 010 , 010 1, 10 0, 10 10}. Do đó L 1 ∪ (L 2 L 3 ) ... dụng quy tắc 1, ta có S 1 2n , với n=0; sử dụng quy tắc 2, rồi n -1 lần (n ≥ 1) liên tiếp cặp quy tắc 3 và 4, cuối cùng là quy tắc 5, ta có: S 1A 11 B 11 1A...

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

... BCNF. 10 3 2.5. Định lý: Ngôn ngữ SAT là NP-đầy đủ. 2.6. Định lý: Ngôn ngữ CONSAT là NP-đầy đủ. 2.7. Định lý: Ngôn ngữ 3-CONSAT là NP-đầy đủ. 2.8. Định lý: Ngôn ngữ KNAPSACK là NP-đầy đủ. ... ngôn ngữ mà ta sẽ gọi là các ngôn ngữ NP-đầy đủ nhận được thực tế từ mọi lĩnh vực của toán học. 1. 10. Định nghĩa: Ngôn ngữ L 1 ⊂Σ 1 * được gọi là dẫn được tr...

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

... tuyệt đối: 00 010 100000 011 11 0 011 011 000000 010 (6) 0 010 010 000 010 011 5.3.4. Bộ cất liên kết soạn thảo (loader/link editor): Loader là chương trình, thực hiện hai nhiệm vụ sau: cất và soạn thảo ... phát biểu sau: (1) DO 10 I =1. 15 (2) DO 10 I =1, 15 Giả sử dấu trống được bỏ qua khi bộ phân tích từ vựng xét các ký tự. Như vậy ở trường hợp (1) DO10I là biến và 1....

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

... <q 2, S 1 , S 1 , L, q 2 >. Dãy này sẽ được mã hoá dưới dạng xâu nhị phân: [M] = 10 1 011 011 011 0 010 110 110 110 10 011 011 011 010 111 0 011 1 011 011 010 111 . Nếu trên băng vào có ω=S 1 S 1 BS 1 thì mã ... các chữ số 1. Chẳng hạn, B 1, S 1 11 , S 2 11 1, …, S m 1 m +1 . Tương tự, tập các trạng thái là hữu hạn và ta cũng có thể mã hoá chúng: q 0 1, q...

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

... z n -1 →x n -1 ∈P với x n -1 v n -1 =u n , ta có: <q 1 , u n , %v n -1 R z n -1 > <q 1 , u n , %v n -1 R x n -1 R > <q 1 , ε, %> <q 2 , ε, %>. Từ đó ta có dãy suy dẫn các hình ... 010 S 010 , 010 0S0 010 , 010 01S10 010 , 010 011 S 110 010 , 010 011 c 110 010 ). Mặt khác xâu ωcω R có thể được đoán nhận bởi ôtômat đẩy xuống như sau: Trư...

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

... = 11 * 0 01 * +0 011 * , C 4 = 0, C 5 = ( 01+ 000 +11 * 01+ 11 * 0 01 * 0+0 011 * 0)(0 +1) * , C 6 = 00. Dễ dàng thấy rằng T(A) = C 3 ∪C 6 =0 011 * +00 +11 * 0 01 * =1 * 0 01 * . Với L=T(A)= 1 * 0 01 * , ... C 0 ∪C 1 = ε +11 * , [0] = C 2 ∪C 4 = 11 * 0+0, [00] = C 3 ∪C 6 = 11 * 0 01 * +0 011 * +00, [000] = C 5 = ( 01+ 000 +11 * 01+ 11 * 0...

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

... tạp, ngữ nghĩa và lý thuyết về tính đúng đắn của các ngôn ngữ lập trình, lý thuyết mật mã, lý thuyết các cấu trúc dữ liệu và lý thuyết các cơ sở dữ liệu. Lý thuyết ngôn ngữ hình thức và ôtômat ... nói đầu 1 Mục lục 2 Chương I: Nhập môn về văn phạm và ngôn ngữ hình thức 4 1. 1. Khái niệm ngôn ngữ 4 1. 2. Văn phạm và ngôn ngữ...

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

... 3 13 / 13 / 38 38 V V à à i dòng l i dòng l   ch s ch s    Cantor (18 4 5 -1 918 )  Lý thuyt tp hp  Hilbert (18 6 2 -1 943)  Toán hc cht ch  Gödel (19 0 6 -1 978)  Lý thuyt v tính ... ch ng ch   Σ Σ Câu Câu trên trên Σ Σ { 0, 1 } { 0, 1 } ε ε , 0, 1, 00, 01, 10 , 11 , 10 0 , 0, 1, 00, 01, 10 , 11 , 10 0 { { a a z } z } a a , , ab ab , zt, c...

Ngày tải lên: 01/08/2014, 22:20

... ghép. 2) Xét ngôn ngữ L = {0, 1} trên bảng chữ Σ = {0, 1} . Ta có: L 2 = {00, 01, 10 , 11 }, tập hợp các xâu nhị phân độ dài 2; L 3 = {000, 0 01, 010 , 011 , 10 0, 10 1, 11 0, 11 1}, tập hợp các ... dụng quy tắc 1, ta có S 1 2n , với n=0; sử dụng quy tắc 2, rồi n -1 lần (n ≥ 1) liên tiếp cặp quy tắc 3 và 4, cuối cùng là quy tắc 5, ta có: S 1A 11 B 11 1A … 1( 1...

Ngày tải lên: 12/09/2012, 16:21

... A n -1 ∈δ (A n-2 , a n -1 ), E ∈δ (A n -1 , a n ). Từ đó ta có S → a 1 A 1 , A 1 → a 2 A 2 , …, A n -1 → a n ∈ P hay trong G có một suy dẫn là S a 1 A 1 a 1 a 2 A 2 … a 1 a 2 …a n -1 A n -1 a 1 …a n -1 a n = ω . ... tạp, ngữ nghĩa và lý thuyết về tính đúng đắn của các ngôn ngữ lập trình, lý thuyết mật mã, lý thuyết các cấu trúc dữ liệu v...

Ngày tải lên: 14/08/2013, 15:54