Sử dụng tốt nhất với FireFox(+), Chrome(+), Safari(+), Opera(+), IE7(-), hỗ trợ iPhone, Android, Nokia..     Home | Sơ đồ site | Giới thiệu

eBooks Online
Chưa đăng nhập, bạn có thể đăng ký nếu chưa có account | Đăng nhập

 
 
Home » Thư mục » Kỹ thuật - Công nghệ » Công nghệ thông tin
Đang xử lý..
Tin học lý thuyết | Võ Huỳnh Trâm | eBooks
Sau khi gửi lời mời, nếu được chấp thuận các bạn sẽ trở thành bạn bè, có thể chat, tặng, chia sẻ các tài liệu yêu thích..
Đang xử lý..
Username:
Xem tài liệu:
Quay lại | Ý kiến
Gửi cho bạn bè

Đánh giá - Góp ý

Nguồn tham khảo

Nhặt tạm vào giỏ

Tin học lý thuyết
Tin học lý thuyết

Mã số: 246

Loại: Giáo trình-Bài giảng-Giáo án

Tác giả:

 Võ Huỳnh Trâm

Nguồn gốc:

 Bộ môn Hệ thống thống tin và Toán ứng dụng, Khoa CNTT và truyền thông, ĐH Cần Thơ

Từ khoá: ôtômát ngôn ngữ hình thức lý thuyết ngôn ngữ chương trình dịch

2007 3.8 MB  Lượt xem:40,767  Ưa thích:16 35
Địa chỉ của tài liệu:

Ghi bookmark:
 Delicious  Digg  Google  Reddit

Chuyên ngành:

  / Kỹ thuật - Công nghệ / Công nghệ thông tin / Tin học cơ bản

Sơ lược:

tinhoclythuyetĐể đáp ứng nhu cầu học tập của các bạn sinh viên, nhất là sinh viên chuyên ngành tin học, Khoa Công Nghệ Thông Tin - Trường Đại Học Cần Thơ chúng tôi đã tiến hành biên soạn các giáo trình, bài giảng chính trong chương trình học. Bài giảng môn Tin học lý thuyết này được biên soạn cơ bản dựa trên quyển “Introduction to Automata Theory, Languages and Computation” của John E. Hopcroft và Jeffrey D. Ullman, xuất bản bởi Addison-Wesley vào năm 1979. Giáo trình cũng được biên soạn dựa trên kinh nghiệm giảng dạy nhiều năm môn Lý thuyết ngôn ngữ hình thức và Ôtômát của chúng tôi.

Tin học lý thuyết bao gồm việc nghiên cứu Lý thuyết ngôn ngữ hình thức và ôtômát đặt nền tảng mạnh mẽ trên lý thuyết tập hợp, hàm, ánh xạ, quan hệ và lý thuyết đồ thị. Hai kỹ thuật chứng minh quan trọng được sử dụng trong phần lớn các chứng minh là phương pháp quy nạp toán học và phương pháp chứng minh phản chứng. Kỹ thuật mô phỏng các quá trình làm việc tương đương cũng được áp dụng phổ biến.

Như một chủ đề bắt buộc, môn học này được đưa vào giảng dạy cho sinh viên chuyên ngành Công nghệ thông tin vào năm thứ ba hoặc thứ tư trong chương trình học với yêu cầu sinh viên đã học xong các khóa học về Toán rời rạc, phải quen thuộc với một vài ngôn ngữ lập trình cấp cao, và các khái niệm cơ bản về Cấu trúc dữ liệu và giải thuật.

Kiến thức đạt được

Sau khi học xong môn học Tin học lý thuyết, sinh viên cần nắm vững :

  • Khái niệm lý thuyết ngôn ngữ, sự phân cấp và cách thức biểu diễn các ngôn ngữ tự nhiên cũng như ngôn ngữ lập trình.
  • Nguyên tắc phát sinh ngôn ngữ từ văn phạm, quy luật hình thành cú pháp ngôn ngữ lập trình.
  • Nguyên tắc hoạt động và cơ chế dùng đoán nhận ngôn ngữ của các dạng mô hình máy trừu tượng “ôtômát” – là tiền đề cho sự phát triển máy tính số ngày nay.
  • Ứng dụng của lý thuyết ngôn ngữ, chẳng hạn biểu thức chính quy và văn phạm phi ngữ cảnh trong việc thiết kế các phần mềm như trình biên dịch hay các trình xử lý văn bản.
Giáo trình bao gồm 8 chương được trình bày trong khuôn khổ 60 tiết giảng cho sinh viên chuyên ngành tin học, trong đó có khoảng 40 tiết lý thuyết và 20 tiết bài tập mà giáo viên sẽ hướng dẫn cho sinh viên trên lớp. 

Nội dung giáo trình

Chương 1: Bổ túc toán
Chương 2: Ngôn ngữ và biểu diễn ngôn ngữ
Chương 3: Ôtômát hữu hạn và biểu thức chính quy
Chương 4: Văn phạm chính quy và các tính chất
Chương 5: Văn phạm phi ngữ cảnh
Chương 6: Ôtômát đẩy xuống
Chương 7: Máy Turing
Chương 8: Ôtômát giới nội và văn phạm cảm ngữ cảnh
Bài giảng Slide

Download (3.8 MB)

Tổng kích thước gói: 3.8 MB

Nguồn tham khảo:

Soạn EK 246 <noi_nhan> gửi 8777 để nhận tài liệu qua email Xem »
Có thể bạn cần đến..
..
Có thể download không? Bị lỗi download, lỗi mở, xem?
 
Tài liệu do thành viên chia sẻ và chịu trách nhiệm trước Điều kiện sử dụng của eBooks.
Tài liệu cùng chủ đề:     Giáo trình   Luận văn   Tham khảo   Các loại khác..
Chưa xác định
Chia sẻ quan điểm:
 
Họ tên: 
E-mail: 
Báo lỗi hoặc báo vi phạm các điều kiện sử dụng (nếu là ý kiến khác thì không đánh đấu)
Giải đáp thắc mắc
+ Tại sao không đăng ký được?
+ Tại sao click download lại bị nhắc đăng nhập? Tại sao không download được?
+ Lỗi download 99% vì sao?
Hãy xem ở đây.
Dịch vụ Thư viện
+ Để đăng ký nhận tài liệu qua email, hãy soạn tin theo cú pháp
    EK <ma_sach> <noi_nhan>
Nhắn tới số 8677. Xem chi tiết.

+ Ngoài số lượt download cho phép mỗi ngày, bạn có thể yêu cầu thêm bằng cách soạn tin:
    EK D <username>
Nhắn tới các số 8577, 8677, 8777.
Chú ý xem hướng dẫn.

Dịch vụ liên kết
Gửi link
Học gì - Ở đâu?
Siêu thẻ:  
Tiếng Việt

Tự động
TELEX
VNI
VIQR
VIQR*
Tắt
Chính tả
Kiểu cũ

Giỏ tài liệu
Theme