TAILIEUCHUNG - Giáo trình Lý thuyết ngôn ngữ nhóm (Tập 1): Phần 2

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 . 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à . 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ó. . 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. . 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 Ị . Đị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. . Đị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 . 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. . Mênh đẻ. Ngôn ngiĩ Ị. hên X lờ

TAILIEUCHUNG - Chia sẻ tài liệu không giới hạn
Địa chỉ : 444 Hoang Hoa Tham, Hanoi, Viet Nam
Website : tailieuchung.com
Email : tailieuchung20@gmail.com
Tailieuchung.com là thư viện tài liệu trực tuyến, nơi chia sẽ trao đổi hàng triệu tài liệu như luận văn đồ án, sách, giáo trình, đề thi.
Chúng tôi không chịu trách nhiệm liên quan đến các vấn đề bản quyền nội dung tài liệu được thành viên tự nguyện đăng tải lên, nếu phát hiện thấy tài liệu xấu hoặc tài liệu có bản quyền xin hãy email cho chúng tôi.
Đã 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.