| 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 4, 1971, 18 - 24 |
Sách, tạp chí |
| Tiêu đề: |
Về các ngôn ngữ nhóm ( tiếng Nga) |
| Tác giả: |
A.V. Aniximov |
| Nhà XB: |
Điều khiển học |
| Năm: |
1971 |
|
| [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 |
| Tác giả: |
A. H. Cliphớt, G.B. Prestơn |
| Nhà XB: |
NXB Đại học và trung học chuyên nghiệp |
| Năm: |
1979 |
|
| [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 |
| Tác giả: |
S. Eilenberg |
| Nhà XB: |
Academic Frees |
| Năm: |
1976 |
|
| [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 |
| Tác giả: |
Lê Quốc Hán, Trần Văn Hạo |
| Nhà XB: |
Tuyển tập Hội thảo cơ sở tin học và bảo vệ tin |
| Năm: |
1987 |
|
| [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, 65- 69 |
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 2, 2003, 101-109 |
Sách, tạp chí |
| Tiêu đề: |
Ngôn ngữ nhóm cô lập |
| Tác giả: |
Lê Quốc Hán, Nguyễn Thị Bích |
| Nhà XB: |
Tạp chí tin học và điều khiển học |
| Năm: |
2003 |
|
| [8]. B.Le Saec, Saturating right congruences, Theoretical Inforrmatics and Applications, Vol.24, N 0 6, 1990 |
Sách, tạp chí |
| Tiêu đề: |
Saturating right congruences |
| Tác giả: |
B.Le Saec |
| Nhà XB: |
Theoretical Inforrmatics and Applications |
| Năm: |
1990 |
|
| [9]. B. Le Saec B., Dare V.R., Seromony R., Strong recognition of rational w - languages, International conferrence on Mathematical Foundation of Inforrmatics, Ha Noi, 1999 |
Sách, tạp chí |
| Tiêu đề: |
Strong recognition of rational w-languages |
| Tác giả: |
B. Le Saec B., Dare V.R., Seromony R |
| Nhà XB: |
International conference on Mathematical Foundation of Informatics |
| Năm: |
1999 |
|
| [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 |
| Tác giả: |
J.B. Pecuchet |
| Nhà XB: |
Theoretical Computer Science |
| Năm: |
1986 |
|
| [11]. A. Praad Sitla, Y. Moshe, Pierre Wolperr, The complementation problem 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 problem for Buchi automata with applications to temporal logic |
| Tác giả: |
A. Praad Sitla, Y. Moshe, Pierre Wolperr |
| Nhà XB: |
Theoretical Computer Science |
| Năm: |
1987 |
|
| [12]. Đặng Huy Ruận, Lý thuyết ngôn ngữ hình thức và ôtômát, NXB |
Sách, tạp chí |
| Tiêu đề: |
Lý thuyết ngôn ngữ hình thức và ôtômát |
| Tác giả: |
Đặng Huy Ruận |
| Nhà XB: |
NXB |
|