tailieunhanh - NGÔN NGỮ và PHƯƠNG PHÁP DỊCH - Chương 4: Phân tích ngữ nghĩa

Quản lý thông tin về các định danh (tên) Hằng, biến, kiểu tự định nghĩa, chương trình con Kiểm tra việc sử dụng các định danh Phải được khai báo trước khi dùng Phải được sự dụng đúng mục đích Gán giá trị cho hằng, tính toán trên kiểu, thủ tục Đảm bảo tính nhất quán Tên được khai báo chỉ một lần trong phạm vi Các phần tử trong kiểu liệt kê (enum) là duy nhất | IT4073:NGÔN NGỮ và PHƯƠNG PHÁP DỊCH Phạm Đăng Hải haipd@ Chương 4: Phân tích ngữ nghĩa Giới thiệu Bảng ký hiệu Chương trình dịch định hướng cú pháp Kiểm tra kiểu Xử lý sai sót Ví dụ 1 Cho văn phạm G = (VT, VN, P, S) P: { | | | « Bò »| « Cỏ »| « Vàng »| « Non » « gặm» } 1. Giới thiệu Ví dụ 1 L(G) = « Bò vàng gặm cỏ non » « Bò vàng gặm cỏ vàng » « Bò non gặm cỏ non » « Bò vàng gặm bò non » « Cỏ non gặm bò vàng » 1. Giới thiệu Các câu đều đúng ngữ pháp, nhưng không phải câu nào cũng đúng ngữ nghĩa (có ý nghĩa) Sử dụng sai ý nghĩa ban đầu (Hằng số) Hoàn toàn đúng cú pháp của KPL Ví dụ 2 Program Toto; Const N = 0; Begin N :=10; End. 1. Giới thiệu := := N:= | IT4073:NGÔN NGỮ và PHƯƠNG PHÁP DỊCH Phạm Đăng Hải haipd@ Chương 4: Phân tích ngữ nghĩa Giới thiệu Bảng ký hiệu Chương trình dịch định hướng cú pháp Kiểm tra kiểu Xử lý sai sót Ví dụ 1 Cho văn phạm G = (VT, VN, P, S) P: { | | | « Bò »| « Cỏ »| « Vàng »| « Non » « gặm» } 1. Giới thiệu Ví dụ 1 L(G) = « Bò vàng gặm cỏ non » « Bò vàng gặm cỏ vàng » « Bò non gặm cỏ non » « Bò vàng gặm bò non » « Cỏ non gặm bò vàng » 1. Giới thiệu Các câu đều đúng ngữ pháp, nhưng không phải câu nào cũng đúng ngữ nghĩa (có ý nghĩa) Sử dụng sai ý nghĩa ban đầu (Hằng số) Hoàn toàn đúng cú pháp của KPL Ví dụ 2 Program Toto; Const N = 0; Begin N :=10; End. 1. Giới thiệu := := N:= N:= N:= N:= N:= N:=10 Nhận xét Không phải mọi câu văn (NNLT: câu lệnh) đúng ngữ pháp (NNLT: cú pháp) đều có giá trị sử dụng (NNLT: thực hiện được) Bộ phân tích ngữ nghĩa nhằm mục đích kiểm tra tính đúng đắn về mặt ngữ nghĩa của câu văn (NNLT: câu lệnh) 1. Giới thiệu Nhiệm vụ bộ phân tích ngữ nghĩa trong NNLT Quản lý thông tin về các định danh (tên) Hằng, biến, kiểu tự định nghĩa, chương trình con Kiểm tra việc sử dụng các định danh Phải được khai báo trước khi dùng Phải được sự dụng đúng mục đích Gán giá trị cho hằng, tính toán trên kiểu, thủ tục Đảm bảo tính nhất quán Tên được khai báo chỉ một lần trong phạm vi Các phần tử trong kiểu liệt kê (enum) là duy nhất 1. Giới thiệu Bảng ký hiệu Nhiệm vụ bộ phân tích ngữ nghĩa trong NNLT Kiểm tra kiểu dữ liệu cho toán tử Toán tử % của C đòi hỏi toán hạng kiểu nguyên Có thể yêu cầu chuyển kiểu bắt buộc (int2real) Chỉ số của mảng phải nguyên Kiểm tra sự tương ứng giữa tham số

• An ninh - Bảo mật
• Phân tích cú pháp
• cú pháp quay lui
• phương pháp dịch
• phân tích bảng
• cú pháp tất định
• chương trình dịch
• Bài giảng Chương trình dịch
• Văn phạm phi ngữ cảnh
• Phân tích cú pháp từ dưới lên
• Phân tích cú pháp LR
• Khai thác kho ngữ liệu chú giải cú pháp
• Phân tích cú pháp tiếng Việt
• Khai thác kho ngữ liệu
• Cú pháp tiếng Việt
• Probability Context Free Grammar
• Link grammar
• Link parser
• Complex sentence
• Compound sentence
• Phân tích cú pháp liên kết tiếng Việt
• Cú pháp liên kết tiếng Việt
• Mệnh đề tiếng Việt
• Ngôn ngữ lập trình
• Nguyên lý ngôn ngữ lập trình
• Bài giảng Nguyên lý ngôn ngữ lập trình
• Phương pháp phân tích cú pháp
• Công cụ Yacc
• Bài giảng Nhập môn chương trình dịch
• Nhập môn chương trình dịch
• Kỹ thuật dịch
• Sinh bộ phân tích cú pháp
• Vai trò của bộ phân tích cú pháp
• Mục tiêu của bộ phân tích cú pháp
• Hệ thống phân tích cú pháp tiếng Việt
• Văn phạm HPSG
• Cấu trúc đoạn hướng trung tâm
• Giải thuật Earley
• Cú pháp quan hệ
• mạng ngữ pháp lan truyền
• văn phạm TAGs
• chiếu nhãn từ loại
• luận văn thạc sĩ
• Lý thuyết biến thể phạm trù
• Ngữ pháp tạo sinh
• Sơ đồ hình cây
• Quan hệ cú pháp
• Cấu trúc ngữ đoạn
• Xây dựng chương trình dịch
• Bài giảng Xây dựng chương trình dịch
• Phương pháp đệ quy trên xuống
• bộ phân tích cú pháp
• Bộ phân tích cú pháp KPL
• Cú pháp của lệnh KPL
• luận văn
• công nghệ thông tin
• tiếp cận thống kê
• ngôn ngữ tự nhiên
• xử lý ngôn ngữ tự nhiên
• Luận án Tiến sĩ Toán học
• Luận án Tiến sĩ
• Học máy thống kê
• Cơ sở toán cho tin học