Ngôn ngữ hình thức và Ôtômat - Chương 3 pps

... c   a ngôn ng a ngôn ng   ch ch í í nh qui nh qui 3/ 3/ 61 61     nh ngh nh ngh   a m a m   t ngôn ng t ngôn ng   l l   p tr p tr ì ì nh (NNLT) nh (NNLT) \ \ C C á á c ngôn ng c ngôn ... v   y L(G) l y L(G) l à à ngôn ng ngôn ng   đ đ   c M th c M th   a nh a nh   n v n v à à l l à à NNCQ NNCQ 35 / 35 / 61 61 V V í í d d   1 1 \ \ Cho VP Ch...

Ngày tải lên: 01/08/2014, 22: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 ... lớp ôtômat đẩy xuống không đơn định mới có thể đoán nhận hết lớp ngôn ngữ phi ngữ cảnh. Còn ôtômat đẩy xuống đơn định chỉ có khả năng đoán nhận được lớp con thực sự của lớp ngôn n...

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

... của các ngôn ngữ. Phân loại: 1) Ngôn ngữ máy (machine language), 2) Hợp ngữ (assembly language), 3) Ngôn ngữ cấp cao (higher-level language). Bởi vì máy tính chỉ có thể hiểu ngôn ngữ máy ... (compiler) và trình thông dịch (interpreter). − Trình biên dịch: chuyển một chương trình viết trong ngôn ngữ cấp cao − chương trình nguồn sang chương trình trong n...

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

... thuật toán. 4 .3. 10. Định lý: Mọi ngôn ngữ cảm ngữ cảnh đều là ngôn ngữ đệ quy. 4 .3. 11. Định lý: Tồn tại một ngôn ngữ đệ quy mà không là ngôn ngữ cảm ngữ cảnh. 74 4 .3. VẤN ĐỀ ... Định lý 4 .3. 3, phần bù của T(U) là không đệ quy đếm được. 4 .3. 6. Định lý: Một ngôn ngữ hình thức là loại 0 khi và chỉ khi nó là đệ quy đếm được. Điều này...

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

... ( r+s) là biểu thức chính quy biểu diễn ngôn ngữ R∪S, (rs) là biểu thức chính quy biểu diễn ngôn ngữ R.S và ( r * ) là biểu thức chính quy biểu diễn ngôn ngữ R * . Trong biểu thức chính quy, ... biểu thức chính quy, nó biểu diễn ngôn ngữ {ε}. 3) Nếu a ∈Σ thì a là biểu thức chính quy, nó biểu diễn ngôn ngữ {a}. 4) Nếu r, s tương ứng là biểu thức chính qu...

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

... gọi là một ngôn ngữ hình thức hay ngắn gọn hơn là một ngôn ngữ trên Σ. Đặc biệt, tập ∅ là một ngôn ngữ trên Σ, gọi là ngôn ngữ rỗng; tập { ε} cũng là một ngôn ngữ trên Σ, đây là ngôn ngữ chỉ ... minh: Ngôn ngữ hữu hạn là hợp hữu hạn của các ngôn ngữ một từ, nên từ Thí dụ 13 (ngôn ngữ một từ là chính quy) và từ Hệ quả 1 .3. 3 (hợp hữu hạn của các...

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

... 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 tập Chương I 19 Chương II: Ôtômat hữu hạn và ngôn ngữ ... phạm hình thức và các ôtômat cũng như máy Turing, là những công cụ sinh ngôn ngữ, đồng thời đề cập đến các tính chất của ngôn ngữ chính quy, ngôn...

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

... a+a*a a+a*a E E E E E E E E E a a a * * * a a a a a a + + + 1 1 3 3 2 2 E E E E E E E E E 3 3 3 3 E E E E E E E E E a a a + + + a a a a a a * * * 1 1 2 2 E E E E E E 3 3 3 3 3 3 E E E 50/ 50/ 65 65 M M   t s t s   v v í í d d   kh kh á á c ... 2 a+E*E a+E*E ⇒ ⇒ 3 3 a+a*E a+a*E ⇒ ⇒ 3 3 a+a*a a+a*a u u E E ⇒ ⇒ 2 2 E*E E*E ⇒ ⇒ 1 1 E+E*E E+E*E ⇒ ⇒ 3...

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

... q q ∈ ∈ Q Q ’ ’ | | q q ∩ ∩ F F ≠ ≠ ∅ ∅ } } End End 39 / 39 / 56 56 V V í í d d   xây d xây d   ng DFA t ng DFA t   NFA NFA q q 3 3 , q , q 4 4 q q 1, 1, q q 3 3 q q 3 3 q q 3 3 q q 1, 1, q q 2 2 q q 4 4 ∅ ∅ ∅ ∅ q q 2 2 q q 2, ... c   m th m th   ) ) – – ÔTÔMAT đo ÔTÔMAT đo á á n nh n nh   n n 3/ 3/ 56 56 Chng Chng 2 2 Ôtômat h Ôtômat h   u h...

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

... tr tr   ng h ng h   p 3, ta c p 3, ta c   ng c ng c ó ó : : w w ∈ ∈ L((a L((a * * b) b) * * ∪ ∪ (b (b * * a) a) * * ) ) 33 / 33 / 38 38 C C á á c ngôn ng c ngôn ng   phi ch phi ch í í nh ... ra câu cho m n sinh ra câu cho m   t ngôn ng t ngôn ng   36 / 36 / 38 38 V V í í d d   bi bi   u di u di   n ngôn ng n ngôn ng     Ngôn ng Ngôn ng ...

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