|
DDC
| 005.13 |
|
Tác giả CN
| Đặng, Huy Ruận |
|
Nhan đề
| Lý thuyết ngôn ngữ hình thức và Otomat / Đặng Huy Ruận |
|
Thông tin xuất bản
| H. :Đại học Quốc gia ,2005 |
|
Mô tả vật lý
| 204tr ;24 cm |
|
Phụ chú
| Đầu trang nhan đề:Đại học Quốc gia Hà Nội |
|
Tóm tắt
| Lý thuyết ngôn ngữ hình thức và ôtômat đóng một vai trò rất quan trọng trong các cơ sở toán học của tin học. Ngôn ngữ hình thức được sử dụng trong việc xây dựng các ngôn ngữ lập trình, lý thuyết về các chương trình dịch. Các ngôn ngữ hình thức tạo thành một công cụ mô tả đối với các mô hình tính toán cả cho dạng thông tin vào-ra lẫn kiểu thao tác. Lý thuyết ngôn ngữ hình thức, chính vì thực chất của nó là một lĩnh vực khoa học liên ngành; nhu cầu mô tả hình thức văn phạm được phát sinh trong nhiều ngành khoa học khác nhau từ ngôn ngữ học đến sinh vật học. Do đó những khía cạnh thích hợp của lý thuyết ngôn ngữ hình thức sẽ có tầm quan trọng quyết định trong các giáo trình về Lý thuyết ngôn ngữ hình thức và ôtômat. Sách gồm 3 chương: Văn phạm và ngôn ngữ. Ngôn ngữ chính qui và ôtômat hữu hạn. Ngôn ngữ phi ngữ cảnh và ôtômat đẩy xuống. |
|
Thuật ngữ chủ đề
| btkkhcn-Lập trình |
|
Thuật ngữ chủ đề
| btkkhcn-Thuật toán |
|
Thuật ngữ chủ đề
| btkkhcn-Tin học |
|
Thuật ngữ chủ đề
| btkkhcn-Toán học |
|
Địa chỉ
| 100CS1_Kho sách tham khảo(3): VL.001237-9 |
|
|
000
| 02092nam a2200325 a 4500 |
|---|
| 001 | 14874 |
|---|
| 002 | 6 |
|---|
| 003 | Thư viện Đại học Khánh Hòa |
|---|
| 004 | 14921 |
|---|
| 005 | 201309200757 |
|---|
| 008 | 130920s2005 vm| vie |
|---|
| 009 | 1 0 |
|---|
| 020 | ##|c24000 |
|---|
| 024 | |aRG_6 #1 eb1 i2 |
|---|
| 039 | |a20151014180200|badmin|y20130920075800|zlinhltt |
|---|
| 041 | 0#|avie |
|---|
| 082 | 14|a005.13|214|bL600Th |
|---|
| 100 | 1#|aĐặng, Huy Ruận |
|---|
| 245 | 10|aLý thuyết ngôn ngữ hình thức và Otomat /|cĐặng Huy Ruận |
|---|
| 260 | ##|aH. :|bĐại học Quốc gia ,|c2005 |
|---|
| 300 | ##|a204tr ;|c24 cm |
|---|
| 500 | ##|aĐầu trang nhan đề:Đại học Quốc gia Hà Nội |
|---|
| 504 | ##|aTài liệu tham khảo: tr.201 |
|---|
| 520 | ##|aLý thuyết ngôn ngữ hình thức và ôtômat đóng một vai trò rất quan trọng trong các cơ sở toán học của tin học. Ngôn ngữ hình thức được sử dụng trong việc xây dựng các ngôn ngữ lập trình, lý thuyết về các chương trình dịch. Các ngôn ngữ hình thức tạo thành một công cụ mô tả đối với các mô hình tính toán cả cho dạng thông tin vào-ra lẫn kiểu thao tác. Lý thuyết ngôn ngữ hình thức, chính vì thực chất của nó là một lĩnh vực khoa học liên ngành; nhu cầu mô tả hình thức văn phạm được phát sinh trong nhiều ngành khoa học khác nhau từ ngôn ngữ học đến sinh vật học. Do đó những khía cạnh thích hợp của lý thuyết ngôn ngữ hình thức sẽ có tầm quan trọng quyết định trong các giáo trình về Lý thuyết ngôn ngữ hình thức và ôtômat. Sách gồm 3 chương: Văn phạm và ngôn ngữ. Ngôn ngữ chính qui và ôtômat hữu hạn. Ngôn ngữ phi ngữ cảnh và ôtômat đẩy xuống. |
|---|
| 650 | #7|2btkkhcn|aLập trình |
|---|
| 650 | #7|2btkkhcn|aThuật toán |
|---|
| 650 | #7|2btkkhcn|aTin học |
|---|
| 650 | #7|2btkkhcn|aToán học |
|---|
| 852 | |a100|bCS1_Kho sách tham khảo|j(3): VL.001237-9 |
|---|
| 890 | |a3|b0|c0|d0 |
|---|
| 911 | ##|aLê Thị Thùy Linh |
|---|
| 912 | ##|aNguyễn Hoàng Nhật |
|---|
| 913 | ##|aSL:3 |
|---|
|
|
| Dòng |
Mã vạch |
Nơi lưu |
Chỉ số xếp giá |
Loại tài liệu |
Bản sao |
Tình trạng |
Thành phần |
Đặt mượn |
|
1
|
VL.001239
|
CS1_Kho sách tham khảo
|
005.13 L600Th
|
Sách tham khảo
|
3
|
|
|
|
|
2
|
VL.001238
|
CS1_Kho sách tham khảo
|
005.13 L600Th
|
Sách tham khảo
|
2
|
|
|
|
|
3
|
VL.001237
|
CS1_Kho sách tham khảo
|
005.13 L600Th
|
Sách tham khảo
|
1
|
|
|
|
Không có liên kết tài liệu số nào