Ngon ngu hinh thuc va otomat

... Bộ giáo dục và đào tạo đại học huế trờng đại học khoa học nguyễn gia định Lý THUYếT NGÔN NGữ HìNH THứC Và ÔTÔMAT ... trong tin học đã dẫn đến sự phát triển rất mạnh mẽ một số ngành toán học. Vì vậy, toán học đóng vai trò trung tâm trong các cơ sở của tin học. Có thể kể ra một số lĩnh vực nghiên cứu đáng chú ... 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à...

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

Ngày tải lên: 02/05/2013, 21:26

... Bộ giáo dục và đào tạo đại học huế trờng đại học khoa học nguyễn gia định Lý THUYếT NGÔN NGữ HìNH THứC Và ÔTÔMAT q 1 1 q 0 0 q 3 1 0 1 0 0 q 2 1 huế 2004 ... trong tin học đã dẫn đến sự phát triển rất mạnh mẽ một số ngành toán học. Vì vậy, toán học đóng vai trò trung tâm trong các cơ sở của tin học. Có thể kể ra một số lĩnh vực nghiên cứu đáng chú ... cấu trúc dữ liệu và lý thuyết các cơ sở d...

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

... khác ngoài quy tắc của P, nên ω n ∈ L(G). Vậy ω∈ L n ⊂ L * . b) ω∈ L * \ { ε }: Tồn tại số nguyên dương n sao cho ω∈ L n hay ω = ω 1 ω 2 … ω n-1 ω n , trong đó ω i ∈ L \ { ε }, 1 ≤ ... trong tin học đã dẫn đến sự phát triển rất mạnh mẽ một số ngành toán học. Vì vậy, toán học đóng vai trò trung tâm trong các cơ sở của tin học. Có thể kể ra một số lĩnh vực nghiên cứu đáng chú ......

Ngày tải lên: 20/12/2013, 19:15

... 0 B → 1B | 1 Câu 7 (2.0 điểm): Bạn hãy thiết kế một máy Turing để thực hiện phép nhân 3 một số nguyên n dương (n > 0). Chú ý: trên băng nhập đã được cho trước một ký hiệu X ở đầu băng. Đầu ... X000 Kết quả (output): 000000000 (9 số 0) - HẾT - ĐHCT, ngày 02 tháng 02 năm 2007 Giáo viên ra đề Nguyễn Thanh Bình q 1 q 2 q 3 a, b a a, b start b ĐÁP ÁN Câu 1 (1.0 điểm): Áp dụng bổ đề bơm, bạn

Ngày tải lên: 23/12/2013, 05:15

... kỳ bao gồm các kí tự chữ, số (0 đến 9) và dấu gạch dưới. L4 = {tập tất cả các số nguyên của Pascal} Mô tả số nguyên: 12, +12, -12 {tập tất cả các số thực của Pascal} Mô tả số thực: 12.5, +12.5, ... được diễn dịch như là biểu diễn nhị phân của một số nguyên, là bằng 0 trong modulo của 5. Chẳng hạn, 0101 và 1111, biểu diễn tương ứng các số nguyên 5 và 15, là được chấp nhận. 6. Tìm dfa chấp ......

Ngày tải lên: 13/10/2012, 09:16

... biểu diễn số kí hiệu a trong chuỗi w. Dành cho câu 1 đến câu 3: Cho các ngôn ngữ sau (chú ý n, m nguyên không âm): L1 = {w ∈ {a, b, c}*: na(w) = nb(w) + nc(w)} L2 = {anbm: n > m} L3 = {anbm: ... đầu vừa là trạng thái kết thúc. Dành cho câu 29 đến câu 32: Cho các ngôn ngữ sau (chú ý n, m nguyên không âm): L1 = {anbn + mcm} L2 = {anbm: n ≠ m} L3 = {anbm: n > m > 0} L4 = {an + ... k ≥ 0...

Ngày tải lên: 13/10/2012, 09:16

... qui nguyờn thy. + Nu r 1 v r 2 l nhng biu thc chớnh qui, thỡ r 1 +r 2, r 1. r 2 , v(r 1 ) cng vy. + Mọt chui l mt biu thc chớnh quy nu v ch nu nú cú th c dn xut t cỏc biu thc chớnh qui nguyờn ... ngoc chng hn nh (( )) v ((( ))) l thuc L nhng (( ) thỡ khụng m trong mt ngụn ng lp trỡnh thỡ thng xuyờn gp nhng cu trỳc lng nhau nh vy. Do ú ta thy mt vi thuc tớnh ca ngụn ng lp trỡnh yờu cu ......

Ngày tải lên: 14/03/2013, 11:56

... qui nguyờn thy. + Nu r 1 v r 2 l nhng biu thc chớnh qui, thỡ r 1 +r 2, r 1. r 2 , v(r 1 ) cng vy. + Mọt chui l mt biu thc chớnh quy nu v ch nu nú cú th c dn xut t cỏc biu thc chớnh qui nguyờn ... ngoc chng hn nh (( )) v ((( ))) l thuc L nhng (( ) thỡ khụng m trong mt ngụn ng lp trỡnh thỡ thng xuyờn gp nhng cu trỳc lng nhau nh vy. Do ú ta thy mt vi thuc tớnh ca ngụn ng lp trỡnh yờu cu ......

Ngày tải lên: 15/03/2013, 10:20

... ngữ phi ngữ cảnh (Context-Free Grammar) và chính quy (Regular Grammar). Các ngôn ngữ trên đóng vai trò quan trọng trong thiết kế các ngôn ngữ lập trình và chương trình dịch. I. NGÔN NGỮ HÌNH ... ab | ba (do i.) I → aIb, bIa, II (do ii.) Thủ tục đệ qui in dẫn xuất từ I đến ω Function Derive(Var : xaukq; ω: string) : string; { xaukq xuất phát là I, cần thay I bởi ω, luật thay phụ thuộc ... thay...

Ngày tải lên: 06/09/2013, 10:50