Kinh doanh - Marketing
Kinh tế quản lý
Biểu mẫu - Văn bản
Tài chính - Ngân hàng
Công nghệ thông tin
Tiếng anh ngoại ngữ
Kĩ thuật công nghệ
Khoa học tự nhiên
Khoa học xã hội
Văn hóa nghệ thuật
Sức khỏe - Y tế
Văn bản luật
Nông Lâm Ngư
Kỹ năng mềm
Luận văn - Báo cáo
Giải trí - Thư giãn
Tài liệu phổ thông
Văn mẫu
Giới thiệu
Đăng ký
Đăng nhập
Tìm
Danh mục
Kinh doanh - Marketing
Kinh tế quản lý
Biểu mẫu - Văn bản
Tài chính - Ngân hàng
Công nghệ thông tin
Tiếng anh ngoại ngữ
Kĩ thuật công nghệ
Khoa học tự nhiên
Khoa học xã hội
Văn hóa nghệ thuật
Y tế sức khỏe
Văn bản luật
Nông lâm ngư
Kĩ năng mềm
Luận văn - Báo cáo
Giải trí - Thư giãn
Tài liệu phổ thông
Văn mẫu
Thông tin
Điều khoản sử dụng
Quy định bảo mật
Quy chế hoạt động
Chính sách bản quyền
Giới thiệu
Đăng ký
Đăng nhập
0
Trang chủ
Khoa Học Tự Nhiên
Toán học
Giáo trình Lý thuyết ngôn ngữ nhóm (Tập 1): Phần 2
Đang chuẩn bị liên kết để tải về tài liệu:
Giáo trình Lý thuyết ngôn ngữ nhóm (Tập 1): Phần 2
Cẩm Hường
163
97
pdf
Đang chuẩn bị nút TẢI XUỐNG, xin hãy chờ
Tải xuống
Phần 2 giáo trình "Lý thuyết ngôn ngữ nhóm (Tập 1)" trình bày nội dung chương 4 - Một số lớp ngôn ngữ nhóm và phụ lục. Trong giáo trình này, các tác giả trình bày lý thuyết ngôn ngữ hình thức dựa trên những kiến thức cơ sở về đại số học với hạt nhân chủ yếu là lý thuyết tương đẳng trên nửa nhóm. Mời bạn đọc tham khảo. | ctiưang 4 MÔT SỐ LỚP NGÔNNGĨ NHÓM Các ngôn ngữ nhóm được A.v. Aniximov kháo sát đâu tiên vàò năm 1971 5 . Theo s. íìilenbcrg I 1 7 . ngôn ngừ L có vị nhóm cú pháp Lí l. đắng câu với mọt vị nhóm .8 khi và chi khi tổn lại một loàn cáu X - .8 và một tập con ròi rạc của .8 sao cho ỉ. p . Các ngôn ngữ nhóm mà A.v. Xnixĩmox kháo sát ứng với .8 là một nhóm và là tập chi góm một phân lư dơn vị cùa 5. hay lương dưưng . chi gổm mọt n - lớp tương dang chứa từ lổng cùa X. Trong chương này ta xét trường hợp thay .8 bời mọt nhóm luỳ ý và là niộl tập con rời rạc tuỳ ý của .8 . Phán lớn các kết quà trong chương này dược rút ra lừ các công trình gan dày cùa chúng tôi Xem Ị24Ị. 2ÍỊ. 26 h 27 . 28 . 29 1 . Ngôn ngữ nhóm chính qui Với các khái niệm và những kiên thúc co sở dã dược trang bị ớ các tiêt trước trong liêì này ta sẽ mõ tá ngón ngũ nhóm chính qui trẽn cã 4 phương diện dáng diệu ngôn ngữ. ôlõmál. vị nhóm cú pháp và văn phạm sinh ra ngôn ngữ dó. 1.1. Bịnh nghĩa. Ngôn ngữ trên À dược gọi là mộ HỊỊÔn ngữ nhâm chinh ui nêu . là ngôn ngữ chính qui và vị nhóm cú pháp cùa ỉ. là mộl nhóm. 1.2. Bịnh nghĩa. Olômát A. X dược gọi là tách dược nếu với mọi í b G . xới mọi G X. lừ đắng thức v ổ b x kéo theo a b. 1 26 Chương 4. Một sô lơp ngôn ngữ nhõm ii Otômát .4. X được gọi là í ữv hi. nếu với mọi A e X. vói mọi u c 4. tón tại a e 4 sao cho ờXư. A Ị 1.3. Định nghĩa. Văn phạm G được gọi là thuũn túy hèn phái nêu p gồm và chi gồm các qui lác sau AỢ sao cho với mồi A G X. p. chạy khắp N và J J là một hoán vị của ỉi p A với ít nhất một p e N. 1.4. Định lý Định lý co bãn . Gid sừ L lù ngôn ngữ lì én X. Khi dó cức mệnh dê S JU à tương dương i Õtômát ctẨ.1. 4. X. íZn. d. A doún nhận ngôn ngừ Ị. hữu hạn vù tách được if Otômát cư L 4 X. un 4 A doán nhận ngôn ngũ . hữu hựn 1 ừ ddy dú iii ị nhóm cú pháp JU Ị. là một nhóm hữu hụn r ũn phạm ì N. X. p. rr sinh ngon ngữ Ị. thudn tu hên phấi. Cluing minh. Đê chứng minh định lý này ta lân lượt chứng minh các mênh để sau. 1.5. Mênh đẻ. Ngôn ngiĩ Ị. hên X lờ
TÀI LIỆU LIÊN QUAN
Giáo trình Lý thuyết ngôn ngữ hình thức và ô tô mát - Nguyễn Thanh Bình
Giáo trình Lý thuyết ngôn ngữ hình thức và otomat: Phần 1
Giáo trình Lý thuyết ngôn ngữ hình thức và otomat: Phần 2
PHẦN 2: GIỚI THIỆU VỀ MỘT NGÔN NGỮ LẬP TRÌNH NGÔN NGỮ LẬP TRÌNH C
Giáo trình Lý thuyết ngôn ngữ lập trình (Nghề Lập trình máy tính): Phần 2 - Tổng cục dạy nghề
Giáo trình: Ngôn ngữ lập trình - ThS. Nguyễn Văn Linh
Ngôn Ngữ Lập Trình C#
Giáo trình Ngôn ngữ lập trình C p1
Giáo trình Ngôn ngữ lập trình C p2
Giáo trình Ngôn ngữ lập trình C p3
crossorigin="anonymous">
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.