» Từ khóa: dac ta ngon ngu lap trinh

Bài giảng Đặc tả hình thức chương 0 giới thiệu cho người học những thông tin cơ bản về môn học, nội dung chính của môn học, phương pháp đánh giá môn học. Đây là một tài liệu hữu ích dành cho các bạn sinh viên ngành Công nghệ thông tin và những ai quan tâm dùng làm tài liệu tham khảo trước khi bước vào môn học này.

 18 p actvn 31/08/2020 247 2 Download

Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Lập trình phần mềm, Công nghệ phần mềm, Ngôn ngữ hình thức, Phép toán vị từ

Bài giảng "Đặc tả hình thức - Chương 8: Ngôn ngữ đặc tả Z" cung cấp cho người học các kiến thức: Giới thiệu, các thành phần của ngôn ngữ, giản đồ, các phép toán trên giản đồ. Mời các bạn cùng tham khảo nội dung chi tiết.

 47 p actvn 31/08/2020 246 1 Download

Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Lập trình phần mềm, Công nghệ phần mềm, Ngôn ngữ đặc tả Z, Phép toán trên giản đồ

Bài giảng chương 1 trình bày những nội dung cơ bản như: Ngôn ngữ lập trình, trình biên dịch, các mối liên quan với trình biên dịch, nhóm các giai đoạn của trình biên dịch. Mời các bạn cùng tham khảo.

 19 p actvn 21/03/2019 332 2 Download

Từ khóa: Trình biên dịch, Bài giảng Trình biên dịch, Ngôn ngữ lập trình, Chương trình dịch, Đặc tả ngôn ngữ lập trình, Các giai đoạn của trình biên dịch

Bài giảng chương 2 trình bày những nội dung cơ bản như: Định nghĩa cú pháp, sự biên dịch trực tiếp cú pháp (syntax-directed translation), phân tích cú pháp, trình biên dịch cho biểu thức đơn giản, sự phân tích từ vựng, sự hình thành bảng danh biểu, máy trừu tượng kiểu chồng,... Mời các bạn cùng tham khảo.

 42 p actvn 21/03/2019 329 2 Download

Từ khóa: Trình biên dịch, Bài giảng Trình biên dịch, Ngôn ngữ lập trình, Chương trình dịch, Đặc tả ngôn ngữ lập trình, Biên dịch trực tiếp cú pháp, Máy trừu tượng kiểu chồng

Bài giảng chương 3 trình bày những nội dung cơ bản như: Vai trò cuả bộ phân tích từ vựng, các tính chất của token, chứa tạm chương trình nguồn, đặc tả token, nhận dạng token, sơ đồ dịch,... Mời các bạn cùng tham khảo để biết thêm chi tiết.

 33 p actvn 21/03/2019 424 2 Download

Từ khóa: Trình biên dịch, Bài giảng Trình biên dịch, Ngôn ngữ lập trình, Chương trình dịch, Đặc tả ngôn ngữ lập trình, Tính chất của token, Bộ phân tích từ vựng

Bài giảng chương 4 trình bày những nội dung cơ bản như: Vai trò của bộ phân tích cú pháp, xây dựng văn phạm cho ngôn ngữ lập trình, phân tích cú pháp từ trên xuống, phân tích cú pháp từ dưới lên,... Mời các bạn cùng tham khảo để biết thêm chi tiết.

 46 p actvn 21/03/2019 318 2 Download

Từ khóa: Trình biên dịch, Bài giảng Trình biên dịch, Ngôn ngữ lập trình, Chương trình dịch, Đặc tả ngôn ngữ lập trình, Phân tích cú pháp

Bài giảng chương 5 trình bày những nội dung cơ bản như: Định nghĩa trực tiếp cú pháp, cấu trúc của cây phân tích, định nghĩa thuộc tính l, biên dịch từ trên xuống, đánh giá thuộc tính kế thừa từ dưới lên, đánh giá thuộc tính kế thừa từ dưới lên,... Mời các bạn cùng tham khảo.

 42 p actvn 21/03/2019 439 2 Download

Từ khóa: Trình biên dịch, Bài giảng Trình biên dịch, Ngôn ngữ lập trình, Chương trình dịch, Đặc tả ngôn ngữ lập trình, Trình biên dịch trực tiếp cú pháp

Xử lý ngữ nghĩa có hai cách: kiểm tra tĩnh (static check) và kiểm tra động (dynamic check). Trong chương này chúng ta chỉ bàn đến kiểm tra ngữ nghĩa tĩnh. Xử lý ngữ nghĩa tĩnh bao gồm: Truyền thuộc tính, kiểm tra kiểu, kiểm tra trình tự điều khiển, kiểm tra tính duy nhất, kiểm tra mối liên hệ của tên, xử lý các phát biểu goto tham khảo trước.

 19 p actvn 21/03/2019 315 2 Download

Từ khóa: Trình biên dịch, Bài giảng Trình biên dịch, Ngôn ngữ lập trình, Chương trình dịch, Đặc tả ngôn ngữ lập trình, Xử lí ngữ nghĩa

Bài giảng chương 7 trình bày những nội dung cơ bản như: Các phần tử yêu cầu cấp phát bộ nhớ trong thời gian thực thi, các vấn đề về ngôn ngữ nguồn, tổ chức ký ức, chiến thuật cấp phát bộ nhớ, truyền thông số. Mời các bạn cùng tham khảo.

 46 p actvn 21/03/2019 428 2 Download

Từ khóa: Trình biên dịch, Bài giảng Trình biên dịch, Ngôn ngữ lập trình, Chương trình dịch, Đặc tả ngôn ngữ lập trình, Quản lí bộ nhớ

Bài giảng chương 8 trình bày những nội dung cơ bản như: Các tác vụ trên bảng danh biểu, Bảng danh biểu tuyến tính (linear symbol table), Bảng danh biểu băm (hash symbol table), Hàm băm (hashing function),... Mời các bạn cùng tham khảo.

 15 p actvn 21/03/2019 342 2 Download

Từ khóa: Trình biên dịch, Bài giảng Trình biên dịch, Ngôn ngữ lập trình, Chương trình dịch, Đặc tả ngôn ngữ lập trình, Tổ chức bảng danh biểu

Bài giảng chương 9 trình bày những nội dung cơ bản như: Các vấn đề thiết kế bộ sinh mã, máy đích, khối cơ bản và lưu đo, bộ sinh mã đơn giản, dag biểu diễn khối cơ bản dag là cấu trúc dữ liệu rất thích h, tạo mã đối tượng từ dag. Mời các bạn cùng tham khảo.

 44 p actvn 21/03/2019 380 2 Download

Từ khóa: Trình biên dịch, Bài giảng Trình biên dịch, Ngôn ngữ lập trình, Chương trình dịch, Đặc tả ngôn ngữ lập trình, Sinh mã đối tượng

Bài giảng chương 10 trình bày những nội dung cơ bản như: Mã trung gian, phân tích dòng dữ liệu, phân tích dòng dữ liệu (Data Flow Analyst) – DFA, loại bỏ dư thừa, tối ưu vòng lặp. Mời các bạn cùng tham khảo.

 53 p actvn 21/03/2019 411 3 Download

Từ khóa: Trình biên dịch, Bài giảng Trình biên dịch, Ngôn ngữ lập trình, Chương trình dịch, Đặc tả ngôn ngữ lập trình, Tối ưu mã