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

... đẳng thức đúng với mọi ω 2 có độ dài ≤n. Với ω’ 2 có độ dài n+1, ta có ω’ 2 =ω 2 a, với ω 2 ∈Σ * , d( ω 2 )=n, a∈Σ và δ(q, ω 1 ω’ 2 )=δ(q, ω 1 ω 2 a)=δ(δ(q, ω 1 ω 2 ), a)=δ(δ(δ(q, ω 1 ), ω 2 ), ... trạng thái A 1 , A 2 , …, A n-1 ∈∆ sao cho A 1 ∈δ(S, a 1 ), A 2 ∈δ(A 1 , a 2 ), …, 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...

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 ... mà ngôn ngữ lập trình cổ điển có. 4. Mở rộng ngôn ngữ (language extension). Bộ tiền xử lý tăng khả năng cho ngôn ngữ bằng một số các macro nội tại của nó. Thí dụ n...

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

... f(n 1 , n 2 )=n 1 n 2 . d) f(n 1 , n 2 )=|n 1 −n 2 |. e) f(n 1 , n 2 )= ⎩ ⎨ ⎧ < ≥− .0 , 21 21 21 nnkhi nnkhinn f) f(n 1 , n 2 )= ⎩ ⎨ ⎧ ≠ = .1 ,0 21 21 nnkhi nnkhi 5. Cho f 1 , f 2 , …, f n ... được bằng 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 n...

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

... ε , z 0 z 2 z 2 z 1 z 1 z 2 z 2 > < q 1 , ε , z 0 z 2 z 2 z 1 z 1 > < q 0 , ε , z 0 z 2 z 2 z 2 z 2 > < q 0 , ε , z 0 z 2 z 2 > < q 0 , ε , z 0 z 2 z 2 > < q 1 , ... z 0 z 2 z 2 z 1 > <q 0 , 11, z 0 z 2 z 2 z 1 z 1 > <q 1 , 11, z 0 z 2 z 2 > <q 0 , 1, z 0 z 2 z 2 z 1 z 1 z 2 > <q 0...

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

... A 2 →a 2 S, …, A n-1 →a n-1 S trong P’ và do đó tồn tại các quy tắc A 1 →a 1 , A 2 →a 2 , …, A n-1 →a n-1 trong P. Ta có S ω 1 ’A 1 ω 1 ’a 1 =ω 1 , S ω 2 ’A 2 ω 2 ’a 2 =ω 2 , …, S ω n-1 ’A n-1 ... sinh ra ngôn ngữ L 1 L 2 . 1.3.5. Hệ quả: Nếu L 1 và L 2 là hai ngôn ngữ chính quy (t.ư. phi ngữ cảnh, cảm ngữ cảnh) thì L 1 L 2 cũng là ngôn ngữ...

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 ... 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ữ 1...

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

... 2, 2) R (2, 2, 2) R(1, 2, 2) R (2, 2, 2) * * R (2, 2, 2) R (2, 2, 2) R(1, 2, 2) ( R(1, 2, 2) ( ε ε ∪ ∪ R (2, 2, 2) R (2, 2, 2) + + ) ) R(1, 2, 2) R (2, 2, 2) R(1, 2, 2) R (2, 2, 2) * * b b ∪ ∪ ( ( ε∪ ε∪ a)( a)( ε∪ ε∪ a) a) * * b( b( ( ( ε∪ ε∪ b) b) ∪ ∪ a( a( ε∪ ε∪ a)*b)* a)*b)* 56/ 56/ 56 56 B B à à i ... 1 ( ( ε∪ ε∪ b) b) ∪ ∪ a( a( ε∪ ε∪ a)*b a)*b R (2, 2,...

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

... 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ữ phi ngữ cảnh, ngôn ngữ đệ quy và ngôn ngữ ... 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...

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

... 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 ... Chương I 19 Chương II: Ôtômat hữu hạn và ngôn ngữ chính quy 20 2. 1. Ôtômat hữu hạn 20 2. 2. Quan hệ giữa ôtômat hữu hạn và ngôn ngữ c...

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

... δ(p 1 , a 2 )=p 2 , …, δ(p n -2 , a n-1 )=p n-1 , p n ∈F. Do đó q 0 →a 1 p 1 , p 1 →a 2 p 2 , …, p n-1 →a n-1 p n-1 , p n-1 →a n ∈P hay q 0 a 1 p 1 a 1 a 2 p 2 … a 1 a 2 …a n-1 p n-1 a 1 …a n-1 a n =ω ... là lớp các ngôn ngữ được đoán nhận bởi ôtômat hữu hạn không đơn định và R là lớp các ngôn ngữ chính quy. Định lý 2. 2.1 cho biết N ⊂ D. Định lý 2....

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