Tài liệu, ebook Kỹ Thuật Lập Trình

Trong ví dụ trên lệnh throw sẽ phát sinh ra một ngoại lệ có mã là 20 nhưng ngoại lệ này đã bị bắt bởi khối lệnh try catch và câu lệnh trong khối catch đã được thực hiện. Các khối câu lệnh try catch có thể lồng nhau.

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

Nếu L ñược chấp nhận bởi một DFA, thì L ñược ký hiệu bởi một BTCQ • L ñược chấp nhận bởi DFA M({q1, q2,., qn}, Σ, δ, q1, F) • ðặt R k i j= {x | δ(qi, x) = qjvà nếu δ(qi, y) = ql(y ⊂x) thì l ≤ k} (hay R k i jlà tập hợp tất cả các chuỗi làm cho automata ñi từ trạng thái i ñến trạng thái j mà không ñi ngang qua trạng thái nào lớn hơn k) • ð...

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

Ví dụ: thiết kế TM thực hiện phép nhân 2 số nguyên dương m và n • Input: 0m10nB • Output: 0m*nB • Ý tưởng: đặt số 1 sau 0m10n (0m10n1), sau đó chép n số 0 sang phải m lần, mỗi lần xóa đi 1 số 0 bên trái của m • Sau khi m đã được xóa, phép nhân đã được thực hiện xong, xóa tiếp 10n1. Kếu quả còn lại sẽ là B0m*nB Phân tích: • Xóa 1 số 0 bên tr...

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

Đị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, ...

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

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ù

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

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...

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

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...

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

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

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

- 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

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

Đồ á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

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