Luật ngữ nghĩa (tiếp) Luật ngữ nghĩa: dãy lệnh (block) Luật: một dãy lệnh có kiểu đúng nếu lệnh đầu tiên có kiểu đúng và dãy lệnh sau đó cũng có kiểu đúng. Kiểu của E phải là Tr, nhưng trong ngữ cảnh (bảng kí hiệu) nào? Luật ngữ nghĩa: định nghĩa hàm Giả sử A là ngữ cảnh bao quanh định nghĩa hàm f | Nhập môn Chương trình dịch Học kì II 2006 -2007 Bài 12 Luật ngữ nghĩa tiếp Luật ngữ nghĩa dãy lệnh block Luật một dãyjệnh có kiểu đúng nếu lệnh đầu tiên có kiểu đúng và dãy lệnh sau đó cũng có kiểu đúng. A - S1 T1 A I- S2 S3 . Sn Tn ---------------------------- block A - S1 S2 . Sn Tn Làm thế nào nếu S1 là lệnh khai báo Luật ngữ nghĩa dãy lệnh block A - T id T1 lệnh khai báo A id T - S2 S3 . Sn Tn decl. block A I- T id S2 .Sn Tn Luật này mô tả đoạn mã kiểm tra kiểu của dãy lệnh bài 10
