Tài liệu Công Nghệ Thông Tin

Cuối cùng, người ta mong muốn nhận được một số lời giải tùy theo yêu cầu của người sử dụng. Ta xây dựng hàm some-solutions dựa theo cách xây dựng hàm a-solution nhưng khi tìm thấy một lời giải, máy yêu cầu người sử dụng trả lời có tiếp tục tìm lời giải khác không. Vị từ other-solution? dùng để duy trì quá trình tìm kiếm. Sau khi đã đưa ra hết c...

121 trang | Chia sẻ: huongthu9 | Ngày: 18/08/2021 | Lượt xem: 436 | Lượt tải: 0

Bây giờ chúng ta đã sẵn sàng để viết thường trình ngắt. Để xác định xem sự hiển thị thời gian có được kích hoạt hay không ta sử dụng cờ biến đổi được ON_FLAG. Cờ này được thiết lập bằng 1 khi thời gian được hiển thị. MAIN là thủ tục ngắt Tập tin PGM3_3.ASM ;chương trình thường trú bộ nhớ chỉ thời gian ; kích hoạt bằng tổ hợp phím Ctrl+Shift p...

110 trang | Chia sẻ: huongthu9 | Ngày: 18/08/2021 | Lượt xem: 380 | Lượt tải: 0

Ép kiểu (coercion): Việc chuyển một kiểu dữ liệu sang một kiểu khác được gọi là ẩn (implicit) nếu nó được làm tự động bởi compiler và được gọi là hiện (explicit) nếu được giải quyết bởi người lập trình Ví dụ 5.2: Hàm ord() trong pascal chuyển kiểu kí tự sang số nguyên, phép chuyển đổi là hiện Lệnh a:=b; trong đó a kiểu real, b kiểu integer khi t...

11 trang | Chia sẻ: huongthu9 | Ngày: 18/08/2021 | Lượt xem: 352 | Lượt tải: 0

Trường hợp chứa cả thuộc tính tổng hợp và thuộc tính kế thừa phải thoả mãn 3 điều kiện: 1. Thuộc tính kế thừa của một ký hiệu trong vế phải của luật sinh phải được xác định trong hành vi nằm trước ký hiệu đó 2. Một hành vi không được tham khảo tới thuộc tính tổng hợp của một ký hiệu nằm bên phải hành vi đó 3. Thuộc tính tổng hợp của ký hiệu c...

27 trang | Chia sẻ: huongthu9 | Ngày: 18/08/2021 | Lượt xem: 458 | Lượt tải: 0

Xây dựng LALR parsing table 1. Xây dựng họ tập hợp các mục LR(1) của G': C = {I0, I1,., In } 2. Nhóm các mục có cùng core trong C được C' = {J0, J1,., Jm } 3. Trạng thái i được xây dựng từ  Ji .Các action tương ứng trạng thái i xác định tương tự như canonical LR Nếu một action đụng độ được sinh ra bởi các luật trên, ta nói văn phạm không phải...

60 trang | Chia sẻ: huongthu9 | Ngày: 18/08/2021 | Lượt xem: 409 | Lượt tải: 0

DFA là một trường hợp đặc biệt của NFA, DFA có thêm các dặc diểm sau: - Không có chuyển đổi trạng thái ứng với kí tự rỗng  - Từ một trạng thái s khi có một kí tự x được đọc vào, DFA sẽ chuyển sang một trạng thái s' duy nhất

31 trang | Chia sẻ: huongthu9 | Ngày: 18/08/2021 | Lượt xem: 407 | Lượt tải: 0

Mỗi giai đoạn biên dịch có thể gặp nhiều lỗi, ví dụ: Giai đoạn phân tích từ vựng gặp lỗi khi các ký tự không thể ghép thành một token. Giai đoạn phân tích cú pháp gặp lỗi khi các token không thể kết hợp với nhau theo đúng cấu trúc ngôn ngữ Giai đoạn phân tích ngữ nghĩa gặp lỗi khi các toán hạng có kiểu không đúng yêu cầu của phép toán Sau khi ...

28 trang | Chia sẻ: huongthu9 | Ngày: 18/08/2021 | Lượt xem: 392 | Lượt tải: 0

Input: Dãy lệnh ba địa chỉ. Output: Danh sách các khối cơ bản với mã lệnh ba địa chỉ của từng khối Phương p p háp: 1. Xác định tập các lệnh đầu (leader), của từng khối cơ bản i) Lệnh đầu tiên của chương trình là lệnh đầu. ii) Bất kỳ lệnh nào là đích nhảy đến của các lệnh GOTO có hoặc không có điều kiện là lệnh đầu iii) Bất kỳ lệnh nào đi sa...

8 trang | Chia sẻ: huongthu9 | Ngày: 18/08/2021 | Lượt xem: 354 | Lượt tải: 0

Bộ sinh mã trung gian đưa ra mã ba địa chỉ „ Tối ưu trên mã ba địa chỉ „ Từ mã ba địa chỉ đã tối ưu sinh ra mã đích phù hợp với một mô tả máy ảo

11 trang | Chia sẻ: huongthu9 | Ngày: 18/08/2021 | Lượt xem: 388 | Lượt tải: 0

Nếu E có dạng: a

10 trang | Chia sẻ: huongthu9 | Ngày: 18/08/2021 | Lượt xem: 448 | Lượt tải: 0