| Tài liệu tham khảo |
Loại |
Chi tiết |
| [1]. A.V. Aniximov, Về các ngôn ngữ nhóm (tiếng Nga) Điều khiển học N 0 ,1971, 18 – 24 |
Sách, tạp chí |
| Tiêu đề: |
Về các ngôn ngữ nhóm |
|
| [2]. A. H. Cliphớt và G. B. Prestơn, Lý thuyết nửa nhóm, 2 tập, Nxb Đại học và Trung học chuyên nghiệp, Hà Nội 1979 |
Sách, tạp chí |
| Tiêu đề: |
Lý thuyết nửa nhóm |
| Nhà XB: |
Nxb Đại học và Trung học chuyên nghiệp |
|
| [3]. Phan Đình Diệu, Lý thuyết Ôtômát và thuật toán, Nxb Đại học và Trung học chuyên nghiệp, Hà Nội, 1977 |
Sách, tạp chí |
| Tiêu đề: |
Lý thuyết Ôtômát và thuật toán |
| Nhà XB: |
Nxb Đại học và Trung học chuyên nghiệp |
|
| [4]. S. Eilenberg, Automata, Languages and Machines, Volum B. Academic Frees, New York, 1976 |
Sách, tạp chí |
| Tiêu đề: |
Automata, Languages and Machines |
|
| [5]. Lê Quốc Hán và Trần Văn Hạo, Về ngôn ngữ nhóm, Tuyển tập Hội thảo cơ sở tin học và bảo vệ tin, Viện Toán học Việt Nam, Hà Nội, 1987, 46 – 49 |
Sách, tạp chí |
| Tiêu đề: |
Về ngôn ngữ nhóm," Tuyển tập "Hội thảo cơ sở tin học và bảo vệ tin |
|
| [6]. Lê Quốc Hán, Ngôn ngữ nhóm Aben, Tạp chí Tin học và điều khiển học, N 0 3, 2001 |
Sách, tạp chí |
| Tiêu đề: |
Ngôn ngữ nhóm Aben |
|
| [7]. Lê Quốc Hán và Nguyễn Thị Bích, Ngôn ngữ nhóm cô lập, Tạp chí Tin học và điều khiển học, N 0 3, 2003 |
Sách, tạp chí |
| Tiêu đề: |
Ngôn ngữ nhóm cô lập |
|
| [8]. B. Le Saec, Saturating right congruences, Theoretical informatics and Applications, Vol. 24, N 0 6, 1990 |
Sách, tạp chí |
| Tiêu đề: |
Saturating right congruences |
|
| [9]. B. Le Saec B, Dare V. R, Seromony R. Strong recognition of rational - languages, Intenationnal conference on Mathematical Foundation of infomatics, Ha Noi, 1999 |
Sách, tạp chí |
| Tiêu đề: |
Strong recognition of rational "" - languages |
|
| [10]. J. B. Pecuchet. On the complementation of Buchi automata, Theoretical Computer Science, Vol 47, 1986, p. 95 – 98 |
Sách, tạp chí |
| Tiêu đề: |
On the complementation of Buchi automata |
|
| [11]. A. Prasad Sistla, Y. Moshe, Pierre Wolper, The complementation sproblem for Buchi automata with applications to temporal logic, Theoretical Computer Science, Vol. 49, 1987, p. 217 – 237 |
Sách, tạp chí |
| Tiêu đề: |
The complementation sproblem for Buchi automata with applications to temporal logic |
|
| [12]. Đặng Huy Ruận, Lý thuyết ngôn ngữ hình thức và ôtômát, Nxb Đại học Quốc gia Hà Nội, 2002 |
Sách, tạp chí |
| Tiêu đề: |
Lý thuyết ngôn ngữ hình thức và ôtômát |
| Nhà XB: |
Nxb Đại học Quốc gia Hà Nội |
|