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

Bổ đề bơm: cho L là một CFL bất kỳ, tồn tại một số n chỉ phụ thuộc vào L sao cho nếu z ∈ L và |z| ≥ n thì ta có thể viết z=uvwxy sao cho: |vx| ≥ 1, |vwx| ≤ n và ∀i ≥ 0 ta có uviwxiy ∈ L Ví dụ: chứng minh L = {aibici | i ≥ 1} không là CFL • Giả sử L là CFL, khi đó tồn tại số n theo bổ đề bơm • Xét chuỗi z = anbncn, |z| ≥ n, ta có thể viết z=uvw...

25 trang | Chia sẻ: nguyenlam99 | Ngày: 05/01/2019 | Lượt xem: 2440 | Lượt tải: 0

11 • Tham dự lớp lý thuyết đầy đủ. • Nghe giảng – ghi chú cẩn thận – Hỏi khi cần thiết hoặc chưa rõ. • Làm nhiều bài tập • Thảo luận nhóm có hiệu quả. • Chuẩn bị kiến thức tốt để đạt các cột điểm yêu cầu.

13 trang | Chia sẻ: nguyenlam99 | Ngày: 05/01/2019 | Lượt xem: 1309 | Lượt tải: 0

2. Phương pháp phân tích cú pháp trên xuống 2.4. Phương pháp đệ qui không quay lui Bài tập: Xây dựng giải thuật đệ qui không quay lui cho các VP LL(1) trong phần bài tập vài phép biến đổi về VP LL(1)

268 trang | Chia sẻ: nguyenlam99 | Ngày: 05/01/2019 | Lượt xem: 1402 | Lượt tải: 1

Triển khai một remoting service • Một khía cạnh quan trọng nữa là chúng ta có thể chia sẻ phần hiện thực của phần mềm với bên thứ 3 • Một interface cho class RemoteObject.IDGenerator trên như sau: using System; public Interface IIDGenerator { public int getID(); }

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

Lập trình IPv6 trong .NET • Xây dựng ứng dụng minh họa thứ 2 • Phía server: Tạo project mới, gồm 1 form, 1 textbox với tên tbMessages có multiline = true. • Khởi tạo 2 thread, thread chính theo dõi UI, thread thứ hai chấp nhận và quản lý các kết nối đến

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

Một số class quan trọng khác • Class ActiveUdpListener: thuộc tính LocalEndPotinhscho biết vị trí logic của port giữ kết nối UDP đang hoạt động. Trả về IPEndPoint • Một số class quan trọng khác như IcmpV4Statistics, IPStatistics, NetworkInterface, InterfaceStatistics, IPAddressInformation, IPv4Properties, TcpStatistics, UdpStatistics xem t...

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

Giới thiệu • Các giao thức mạng không chỉ dùng để truyền dữ liệu từ điểm này sang điểm khác • Một số giao thức có mục đích đặc biệt giúp quản lý lưu thông dữ liệu Internet và làm cho việc dùng mạng trở nên dễ dàng hơn • Nội dung của chương bàn về 4 giao thức DNS, WHOIS, Ping và WMI

33 trang | Chia sẻ: nguyenlam99 | Ngày: 05/01/2019 | Lượt xem: 1322 | Lượt tải: 0

Nén dữ liệu video • Vì luminance thay đổi thường xuyên hơn chrominance nên ít dữ liệu màu được gử • Khi hiện tượng này áp dụng cho nén, các mức chrominance được cập nhật mỗi frame, trái lại các mức bão hòa chỉ cập nhật ở một số frame. • Với chuẩn H.261 tỷ số của lấy mẫu chrominance:luminance là 4:1

43 trang | Chia sẻ: nguyenlam99 | Ngày: 05/01/2019 | Lượt xem: 1250 | Lượt tải: 0

Minh họa load balancing • Hàm trên thực hiện việc truyền dữ liệu. Nó mở kết nối TCP ở port 80 và sau đó gửi phần HTTP header đã chỉnh sửa cho client. Ngay sau đó, nó vào vòng lặp, đọc từng 256 byte dữ liệu từ web server và gửi cho client. • Nếu có bất kỳ lỗi gì xảy ra, vòng lặp ngắt và hàm kết thúc

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

1. Định nghĩa giao diện 2. Phát triển đối tượng bằng cách cài đặt giao diện remote 3. Phát triển chương trình client, server. 4. Biên dịch tập tin java. 5. Tạo ra đối tượng stub và skeleton. 6. Khởi động RMI registry. 7. Chạy các đối tượng remote server 8. Chạy client

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