• Bài giảng Lý thuyết tính toán - Bài 4: Biểu thức chính quy - Phạm Xuân CườngBài giảng Lý thuyết tính toán - Bài 4: Biểu thức chính quy - Phạm Xuân Cường

    Biểu thức chính quy: Sử dụng các toán tử chính quy để biểu diễn một biểu thức mô tả ngôn ngữ Ví dụ: (0∪1)0* → Tất cả các xâu bắt đầu bằng 1 ký tự 0 hoặc 1 và sau đó là một số nào đó các ký tự 0 • Vai trò của Biểu thức chính quy: Là một phương pháp mạnh để mô tả 1 mẫu văn bản nào đó → Trong một số ngôn ngữ lập trình đều ứng dụng kỹ thuật mô ...

    pdf29 trang | Chia sẻ: thuyduongbt11 | Ngày: 10/06/2022 | Lượt xem: 580 | Lượt tải: 0

  • Bài giảng Lý thuyết tính toán - Bài 5: Ngôn ngữ không chính quy - Phạm Xuân CườngBài giảng Lý thuyết tính toán - Bài 5: Ngôn ngữ không chính quy - Phạm Xuân Cường

    Ngôn ngữ chính quy: Ngôn ngữ được đoán nhận bởi một DFA nào đó → Ngôn ngữ không chính quy là gì? Ví dụ: Xét các ngôn ngữ sau trên bộ chữ Σ= {0,1} là chính quy hay không chính quy B = {0n1n|n ≥ 0} C = {w| w có số ký hiệu 0 bằng số ký hiệu 1} D = {w| w có số lần xuất hiện xâu con 01 và 10 là bằng nhau}

    pdf18 trang | Chia sẻ: thuyduongbt11 | Ngày: 10/06/2022 | Lượt xem: 480 | Lượt tải: 0

  • Bài giảng Lý thuyết tính toán - Bài 6: Văn phạm phi ngữ cảnh - Phạm Xuân CườngBài giảng Lý thuyết tính toán - Bài 6: Văn phạm phi ngữ cảnh - Phạm Xuân Cường

    Khái niệm • Văn phạm phi ngữ cảnh = Context-free Grammar (CFG) • CFG: Là một phương pháp mạnh hơn để mô tả ngôn ngữ • Ứng dụng: - Bộ biên dịch trong các ngôn ngữ lập trình - Bộ phân tích trong các trình biên dịch và thông dịch • Ví du: E → E + T | T T → T × F | F F → (E) | a

    pdf30 trang | Chia sẻ: thuyduongbt11 | Ngày: 10/06/2022 | Lượt xem: 627 | Lượt tải: 0

  • Đánh giá hiện trạng, đề xuất hướng sử dụng và dự báo thế biến đổi môi trường nước của huyện Trảng Bom, tỉnh Đồng NaiĐánh giá hiện trạng, đề xuất hướng sử dụng và dự báo thế biến đổi môi trường nước của huyện Trảng Bom, tỉnh Đồng Nai

    Trong những năm qua, cùng với sự phát triển kinh tế - xã hội đã kéo theo những vấn đề môi trường phức tạp có chiều hướng gia tăng, xuất phát từ công tác quản lý, bảo vệ môi trường còn lỏng lẻo và nguyên nhân chính đến từ hoạt động sản xuất, ý thức của con người. Bài báo này trình bày về hiện trạng môi trường nước, đánh giá công tác quản lý và đề...

    pdf13 trang | Chia sẻ: thanhuyen291 | Ngày: 10/06/2022 | Lượt xem: 614 | Lượt tải: 0

  • Phân vùng môi trường vùng bờ tỉnh Quảng TrịPhân vùng môi trường vùng bờ tỉnh Quảng Trị

    Tỉnh Quảng Trị c ường ờ i n ài khoảng 75 km, vùng i n v i iện tích khoảng 8 4 km2, ngư trường ánh ắt rộng l n Các nguồn tài nguyên sinh vật và phi sinh vật i n và v n ờ phong phú Tuy nhiên, vùng ờ tỉnh Quảng Trị c ng chứa ựng nhiều yếu tố ất lợi về iều kiện tự nhiên, tần suất và cường ộ tai iến thiên nhiên cao Vì vậy, phân vùng môi trường vùng...

    pdf10 trang | Chia sẻ: thanhuyen291 | Ngày: 10/06/2022 | Lượt xem: 406 | Lượt tải: 0

  • Dự báo xói mòn đất do mưa gây ra ở vùng đồi núi Việt Nam bằng các phương pháp học máyDự báo xói mòn đất do mưa gây ra ở vùng đồi núi Việt Nam bằng các phương pháp học máy

    Xói mòn do mưa gây ra là một vấn đề nghiêm trọng đối với các vùng đồi núi nhiệt đới. Các mô hình dự báo xói mòn đất truyền thống (vật lý, kinh nghiệm) đều gặp khó khăn trong quá trình phát triển và dự báo chính xác. Do đó, nghiên cứu này xây dựng các mô hình dựa trên cơ sở dữ liệu sẵn có để dự đoán tình trạng xói mòn bằng các thuật toán học máy....

    pdf5 trang | Chia sẻ: thanhuyen291 | Ngày: 10/06/2022 | Lượt xem: 478 | Lượt tải: 0

  • Sử dụng mô hình học máy trong hỗ trợ diễn đoán thủy lực, thủy văn trên hệ thống Bắc Hưng HảiSử dụng mô hình học máy trong hỗ trợ diễn đoán thủy lực, thủy văn trên hệ thống Bắc Hưng Hải

    Bài toán diễn đoán thủy văn, thủy lực cũng đã được nhiều nhà khoa học trong các lĩnh vực thủy lợi, toán học, tin học tập trong nghiên cứu và phần nào đã thu được các kết quả. Tuy nhiên, tại các trạm thủy lợi thuộc hệ thống thủy lợi Bắc Hưng Hải, việc áp dụng các công cụ hỗ trợ để diễn đoán thủy văn, thủy lực từ các hệ thống máy chưa thực sự được ...

    pdf6 trang | Chia sẻ: thanhuyen291 | Ngày: 10/06/2022 | Lượt xem: 514 | Lượt tải: 0

  • Bài giảng Lý thuyết tính toán - Bài 7: Ôtômat đẩy xuống - Phạm Xuân CườngBài giảng Lý thuyết tính toán - Bài 7: Ôtômat đẩy xuống - Phạm Xuân Cường

    Ôtômat đẩy xuống = Push down automata (PDA) • PDA: Là một mô hình tính toán, giống với NFA ngoại trừ một thành phần mở rộng được gọi là ngăn xếp • Ngăn xếp: Là một cấu trúc dữ liệu hoạt động theo cơ chế LIFO - Các phương thức: read + push / ignored, pop/ignored • PDA ⇔ CFG về sức mạnh → Thêm công cụ hữu ích khi đoán nhận một ngôn ngữ phi ngữ...

    pdf27 trang | Chia sẻ: thuyduongbt11 | Ngày: 10/06/2022 | Lượt xem: 897 | Lượt tải: 0

  • Bài giảng Lý thuyết tính toán - Bài 8: Máy Turing - Phạm Xuân CườngBài giảng Lý thuyết tính toán - Bài 8: Máy Turing - Phạm Xuân Cường

    Máy Turing = Turing Machine (TM) • TM: - Được đề xuất đầu tiên vào năm 1936 bởi Alan Turing - Là một mô hình tính toán mạnh hơn PDA và FSM - Là một mô hình chính xác hơn rất nhiều của máy tính đa năng - Tương tự như DFA nhưng có một bộ nhớ vô hạn và không hạn định

    pdf24 trang | Chia sẻ: thuyduongbt11 | Ngày: 10/06/2022 | Lượt xem: 525 | Lượt tải: 0

  • Bài giảng Lý thuyết tính toán - Bài 10: Định nghĩa giải thuật - Phạm Xuân CườngBài giảng Lý thuyết tính toán - Bài 10: Định nghĩa giải thuật - Phạm Xuân Cường

    Một giải thuật là tập các lời chỉ dẫn đơn giản để thực hiện một vài nhiệm vụ nào đó • Giải thuật = thủ tục = công thức • Giải thuật đóng vai trò quan trọng cho rất nhiều nhiệm vụ khác nhau Ví dụ: tìm số nguyên tố, tìm ước số chung lớn nhất,. . . • Trước thế kỉ XX, chưa tồn tại khái niệm giải thuật (các khái niệm mang tính trực giác về giải t...

    pdf20 trang | Chia sẻ: thuyduongbt11 | Ngày: 10/06/2022 | Lượt xem: 372 | Lượt tải: 0