Ngôn ngữ hình thức và Ôtômat - 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

... 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 ... 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, computer , zt...

Ngày tải lên: 01/08/2014, 22: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: T...

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

... C 1 = 11 * , C 2 = 11 * 0, C 3 = 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 * . ... R L là: [ε] = 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 =...

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

... 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ữ sinh bởi văn phạm 8 1. 3. Một số tính chất của ngôn ngữ 15 Bài ... hoá ôtômat hữu hạn 34 Bài tập Chương II 41 Chương III: Ôtômat đẩy xuống và ngôn ngữ phi ngữ cảnh 43 3 .1. Văn phạm phi ngữ cảnh và cây suy dẫn củ...

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

... ∪ ∪ b( b( − − b) b) * * 30/ 30/ 65 65 V V í í d d   L L 1 1 . . L L 2 2 l l à à phi ng phi ng   c c   nh nh \ \ Cho : Cho : G G 1 1 = = ( ( N N 1 1 , , ∑ ∑ 1 1 , R , R 1 1 , S , S 1 1 ) ) sao cho sao cho L L 1 1 = L(G = L(G 1 1 ) ) G G 2 2 = = ( ( N N 2 2 , ... ng phi ng   c c   nh nh \ \ Cho : Cho : G G 1 1 = = ( ( N N 1 1 , , ∑ ∑ 1 1 , R , R 1 1 ,...

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

... b n b ù ù m m   t NNCQ t NNCQ L L 1 1 = = Σ Σ * * – – L L 1 1 \ \ B B ù ù c c   a L a L 1 1 , ký hi , ký hi   u L u L 1 1 = = ∑ ∑ * * - - L L 1 1 , c , c   ng l ng l à à NNCQ NNCQ \ \ T T   ôhh ... a a q 1 q q 1 1 q 0 q q 0 0 a, b a, b L L 1 1 R R = (ba) = (ba) * * abba abba * * ε ε q1 q1 q1 q 0 ’ q q 0 0 ’ ’ a a ba ba q 0 q q 0 0 abb abb a a b b q 1...

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

... 1 ( ( ε∪ ε∪ b) b) ∪ ∪ a( a( ε∪ ε∪ a)*b a)*b R(2,2 ,1) R(2,2 ,1) ∪ ∪ R(2 ,1, 1)R (1, 1 ,1) *R (1, 2 ,1) R(2 ,1, 1)R (1, 1 ,1) *R (1, 2 ,1) R(2,2,k) R(2,2,k) a a ∪ ∪ a( a( ε∪ ε∪ a)*( a)*( ε∪ ε∪ a) a) R(2 ,1, 1) R(2 ,1, 1) ∪ ∪ R(2 ,1, 1)R (1, 1 ,1) *R (1, 1 ,1) R(2 ,1, 1)R (1, 1 ,1) *R (1, 1 ,1) R(2 ,1, k) R(2 ,1, k) b b ∪ ∪ ( ( ε∪ ε∪ a)( a)( ε∪ ε∪ a)*b a)*b R (1, 2 ,1) R (1, 2 ,1) ∪ ∪...

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