• Bài giảng Tin học - Chương 6: Automata đẩy xuốngBài giảng Tin học - Chương 6: Automata đẩy xuống

    Định lý 6.4: Nếu L được chấp nhận bởi một PDA chấp nhận chuỗi bởi Stack rỗng thì L là ngôn ngữ phi ngữ cảnh Cách xây dựng: Đặt G(V, T, P, S) là CFG, trong đó: • V là tập các đối tượng dạng [q, A, p] Đặt PDA M(Q, Σ, Γ, δ, q0, Z0, Ø) chấp nhận L với Stack rỗng • S là ký hiệu bắt đầu mới được thêm vào • P là tập các luật sinh dạng 1. S → [q0, ...

    pdf16 trang | Chia sẻ: nguyenlam99 | Ngày: 04/01/2019 | Lượt xem: 22 | Lượt tải: 0

  • Bài giảng Tin học - Chương 5l Văn phạm phi ngữ cảnhBài giảng Tin học - Chương 5l Văn phạm phi ngữ cảnh

    CFL ñóng với phép hợp, phép kết nối và phép bao ñóng Kleen. CFL không ñóng với phép giao CFL không ñóng với phép lấy phần bù

    pdf7 trang | Chia sẻ: nguyenlam99 | Ngày: 04/01/2019 | Lượt xem: 22 | Lượt tải: 0

  • Đảm bảo chất lượng phần mềm - Các độ đo chất lượng phần mềmĐảm bảo chất lượng phần mềm - Các độ đo chất lượng phần mềm

    Software metrics provide a quantitative way to asses the quality of product attributes. • A software metric needs to be simple, computable, persuasive, consistent, and objective. • The function point and bang metrics provide quantitative means for evaluating the analysis model. • Metrics for design consider high-level, component level, and i...

    pdf32 trang | Chia sẻ: nguyenlam99 | Ngày: 04/01/2019 | Lượt xem: 44 | Lượt tải: 0

  • Đảm bảo chất lượng phần mềm - Chương 3: Các chuẩn chất lượng phần mềmĐảm bảo chất lượng phần mềm - Chương 3: Các chuẩn chất lượng phần mềm

    PROS Model is downloadable Standard process for evaluating vendors (assessors are sanctioned by SEI) Training available on the model Includes all processes CONS Not recognized by some commercial vendors Requires significant training to interpret the model Assumes that the internal staff is a software/system expert Does not include human re...

    ppt47 trang | Chia sẻ: nguyenlam99 | Ngày: 04/01/2019 | Lượt xem: 34 | Lượt tải: 0

  • Đảm bảo chất lượng phần mềm - Chương 2: Quản lí chất lượng phần mềmĐảm bảo chất lượng phần mềm - Chương 2: Quản lí chất lượng phần mềm

    1. Mục tiêu SQA: thỏa mãn khách hàng 2. Nguyên tắc SQA: bài bản, không ngừng cải tiến 3. Các yếu tố chất lượng McCall 4. Các thành phần của một hệ thống chất lượng

    pdf42 trang | Chia sẻ: nguyenlam99 | Ngày: 04/01/2019 | Lượt xem: 32 | Lượt tải: 0

  • Vấn đề quản lí chất lượng trong công nghệ phần mềmVấn đề quản lí chất lượng trong công nghệ phần mềm

    - Viết đặc tả PM - Thiết kế các chức năng phù hợp với yêu cầu - Viết kế hoạch dự án + KHĐBCL - Viết PM demo - Báo cáo viết (*.doc) cho tất cả các phần trên - Báo cáo nói (PPT) và Demo chương trình

    pdf32 trang | Chia sẻ: nguyenlam99 | Ngày: 04/01/2019 | Lượt xem: 26 | Lượt tải: 0

  • Đồ án Web site thông tin nhà trọĐồ án Web site thông tin nhà trọ

    Đồ án: điểm theo nhóm : 8-10 SV – Không có đăng kí nhóm: 0 điểm đồ án – Không tham gia đồ án: 0 điểm đồ án – Không nộp báo cáo viết/viết không đúng yêu cầu: không chấm điểm thực hành • Thi : – Vắng quá 20% giờ LT: cấm thi – Thi trắc nghiệm: mang theo viết chì 2B – Ghi/tô sai SBD: -1 điểm bài thi – Không ghi/tô Mã đề: 0 điểm thi

    pdf17 trang | Chia sẻ: nguyenlam99 | Ngày: 04/01/2019 | Lượt xem: 21 | Lượt tải: 0

  • Lập trình mạng - Các ứng dụng mạngLập trình mạng - Các ứng dụng mạng

    Tìm hiểu Firewall Tìm hiểu Proxy Server Tìm hiểu các phần mềm nguồn mở viết bằng java liên quan đến Firewall và Proxy Server trên mạng, cụ thể website sourceforge.net Viết báo cáo về chương trình (Lấy điểm, miễn thi)

    ppt26 trang | Chia sẻ: nguyenlam99 | Ngày: 04/01/2019 | Lượt xem: 22 | Lượt tải: 0

  • Bài tập môn học C++Bài tập môn học C++

    Mô tả: Viết chương trình sắp xếp các dòng ở đầu vào, loại bỏ các dòng giống nhau và đánh số các dòng, sau đó in ra màn hình. Với ví dụ đầu vào là: hey Jude! don’t make it bad take a sad song and make it beter take a sad song and make it beter take a sad song and make it beter thì sẽ in ra là: 1 and make it beter 2 don’t make it bad 3 hey Jude!...

    docx18 trang | Chia sẻ: nguyenlam99 | Ngày: 04/01/2019 | Lượt xem: 24 | Lượt tải: 0

  • Kĩ thuật lập trình - Chapter 27: The C programming languageKĩ thuật lập trình - Chapter 27: The C programming language

    In (some) colloquial C style (not written by BS) It’s so long and complicated! How do I know it’s correct? My first reaction – BS See, you don’t need any fancy and complicated language features!!! not my comment – BS IMHO not a very good problem for using C Not an atypical application, but not low-level systems programming It’s also C++ exce...

    ppt44 trang | Chia sẻ: nguyenlam99 | Ngày: 04/01/2019 | Lượt xem: 22 | Lượt tải: 0