tailieunhanh - Ngôn ngữ nhóm Duybrây và ngôn ngữ nhóm Kroazô

Ngôn ngữ nhóm Duybrây và ngôn ngữ nhóm Kroazô Điều khiển học mở rộng tiếp sang hệ thống công nghiệp, xã hội, sinh thái. (nhà quản lý Bia Stafford và Jay Forrester, nhà tâm lý học Warren McCulloch, nhà kinh tế học K. Boulding, nhà toán học A. Rapoport), khôi phục bản gốc ý tưởng Plato đã từng đưa ra là tập trung nghiên cứu về điều khiển những quan hệ trong xã hội. Những ý tưởng liên quan đến não, nhân chủng học, kinh tế học, kỹ nghệ học được nghiên cứu tiếp. . | Tạp chí Tin học và Điều khiển học 2004 343-350 NGÔN NGỮ NHÓM ĐUYBRÂY VÀ NGÔN NGỮ NHÓM KROAZ0 LÊ QUỐC HÁN HỒ TIEN dương Khoa Toán Trường ỉ ại học Vinh Abstract. In this article we describe Croisot- languages and Dubreil- languages having a group as syntactic monoid. We provide different characteristics of these languages. Then we describe the forms of group regular - languages. Tóm tắt. Trong bài báo này chúng tôi khảo sát các ngôn ngữ Kroazô và ngôn ngữ Đuybrây có vị nhóm cú pháp là một nhóm. Chúng tôi nhận được nhiều đặc trưng khác nhau của các lớp ngôn ngữ này. Từ đó chúng tôi mô tả được dáng điệu của các ngôn ngữ nhóm chính qui tổng quát. 1. MỞ ĐẦU Giả sử s là nửa nhóm và H là một tập con của s. Ta xét quan hệ Kịị c s X s như sau Kịị u y Ể s X s I xu e H o yu G H u E S . Khi đó TZ là tương đẳng phải trên s và được gọi là tương đẳng chính phải Đuybrây sinh bài H trong s. Bây giờ ta xét tương đằng hai phía trên s như sau pH x y E s X s uxv E H o uyv E H Vu v E S . Khi đó dược gọi là tương ãẳng chính hay tương đằng cú pháp của H và vị nhóm thương 8 được gọi là vị nhóm cú pháp của H trong s. Tập con H được gọi là rời rạc trong s nếu tương đằng pỊỊ là tương đằng đồng nhất nghĩa là x y E pH X y. Giả sử X là một bảng chữ cái hữu hạn X là vị nhóm tự do sinh bởi X với đơn vị là từ A. Khi đó mỗi tập con bất kì L của X được gọi là một ngôn ngữ. Giả sử L là ngôn ngữ trên X khi đó vị nhóm cú pháp của L trong X sẽ được gọi là vị nhóm CÚ pháp của L kí hiệu bằng z L . Ngôn ngữ L được gọi là ngôn ngữ nhóm nếu r L là một nhóm. Theo 7 L là một ngôn ngữ có vị nhóm cú pháp yỰT đẳng cấu với một nhóm G nếu tồn tại toàn cấu p X G sao cho L trong đó H là tập con rời rạc của nhóm G . Bài báo này trình bày việc xét ngôn ngữ L ứng với H là lớp ghép theó một nhóm con rời rạc của G. Lớp ngôn ngữ này thực sự chứa lớp ngôn ngữ được đưa ra bởi Anixinov 1 . 2. NGÔN NGỮ NHÓM ĐUYBRÂY VÀ NGÔN NGỮ NHÓM KROAZ0 Giả sử s là nửa nhóm. Khi dó mỗi tập con H của s được gọi là một tập con mạnh nếu