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

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

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