Tài liệu Tài liệu trình biên dịch C (ĐH Cần Thơ) part 13 doc

... chứa chương trình phân tích c pháp LR nhờ lệnh cc y.tab .C - ly chúng ta thu đư c một chương trình đối tượng a.out th c hiện quá trình dịch đư c đ c tả bởi chương trình Yacc ban đầu. Nếu c n ... đầu. Nếu c n thêm c c thủ t c kh c, chúng c thể đư c biên dịch ho c đư c tải vào y.tab .C giống như mọi chương trình C kh c. 107 2. Ð c tả YACC Một chương trình nguồn Yacc bao gồm 3 phần: ... trên. Chương trình y.tab .C là một biểu diễn c a bộ phân tích c pháp LALR đư c viết bằng ngôn ngữ C cùng với c c thủ t c C kh c có thể do người sử dụng chuẩn bị. Bằng c ch dịch y.tab .C cùng...

Tài liệu Tài liệu trình biên dịch C (ĐH Cần Thơ) part 2 doc

... c y c pháp đư c x c định từ c c giá trị c a c c thu c tính tại c c nút con c a nút đó. Ví dụ 2.7: Ðịnh nghĩa tr c tiếp c pháp cho vi c dịch c c biểu th c c c số c ch nhau bởi dấu + ho c ... II. DỊCH TR C TIẾP C PHÁP (Syntax - Directed Translation) Ðể dịch một kết c u ngôn ngữ lập trình, trong quá trình dịch, bộ biên dịch c n lưu lại nhiều đại lượng kh c cho vi c sinh mã ... hậu tố c a chuỗi đư c sinh ra bởi c y phân tích c pháp. 4. Duyệt theo chiều sâu (Depth - First Traversal) Quá trình dịch đư c cài đặt bằng c ch đánh giá c c luật ngữ nghĩa cho c c thu c tính...

Tài liệu Tài liệu trình biên dịch C (ĐH Cần Thơ) part 3 docx

... lập trình nào đó: C, Pascal, v.v để hiểu c ch c i đặt trình biên dịch. • C kiến th c về c u tr c dữ liệu để hiểu c ch tổ ch c dữ liệu khi th c hiện c i đặt. Tài liệu tham khảo: [1] Trình ... xong chương này, sinh viên phải nắm đư c: • C c thành phần c u tạo nên trình biên dịch đơn giản. • Hoạt động và c ch c i đặt c c giai đoạn c a kỳ trư c của một trình biên dịch đơn giản. • C ch ... stack để chuyển đổi c c biểu th c hậu tố sang mã máy ảo và c ch th c thi c c đoạn mã ảo này để c đư c kết quả cuối c ng. Kiến th c cơ bản Để tiếp nhận c c nội dung đư c trình bày trong chương...

Tài liệu Tài liệu trình biên dịch C (ĐH Cần Thơ) part 5 doc

... nhớ chỉ thị (instructions): là nơi chứa c c chỉ thị. C c chỉ thị này rất hạn chế và đư c chia thành 3 nhóm chính: nhóm chỉ thị số h c trên số nguyên, nhóm chỉ thị thao t c trên Stack và nhóm chỉ ... * 5. C c chỉ thị điều khiển trình tự Máy ảo kiểu Stack th c hiện c c chỉ thị theo đúng thứ tự liệt kê trừ khi đư c yêu c u th c hiện kh c đi bằng c c câu lệnh nhảy c điều kiện ho c không ... loạt chỉ thị c a máy. Mã chương trình máy ảo cho một biểu th c số h c sẽ mô phỏng hành động ư c lượng dạng hậu tố cho biểu th c đó bằng c ch sử dụng Stack. Vi c ư c lượng đư c tiến hành bằng c ch...

Tài liệu Tài liệu trình biên dịch C (ĐH Cần Thơ) part 6 docx

... một chữ c i và một chữ số. 3. L4 là tập hợp tất c c c chuỗi 4 chữ c i. 4. L* là tâp hợp tất c c c chuỗi c a c c chữ c i bao gồm c chuỗi rỗng. 5. L( L ∪ D)* là tập hợp tất c c c chuỗi ... c c kỹ thuật tạo ra bộ phân tích từ vựng. C thể, • Xây dựng c c lư c đồ cho c c biểu th c chính quy mô tả ngôn ngữ c n đư c viết trình biên dịch. Sau đó chuyển đổi chúng sang một chương trình ... c c thu c tính đi kèm c a chúng. C c token c ảnh hưởng đến c c quyết định phân tích c pháp; c c thu c tính ảnh hưởng đến vi c phiên dịch c c thẻ từ. Token kết hợp với thu c tính c a nó tạo...

Tài liệu Tài liệu trình biên dịch C (ĐH Cần Thơ) part 7 doc

... th c chính quy trong lex.l là c c đoạn chương trình C đư c chuyển sang lex.yy .c. Cuối c ng trình biên dịch C sẽ dịch lex.yy .c thành chương trình đối tượng a.out, đó là bộ phân tích từ vựng c ... c c số không dấu trong Pascal C nhiều c ch để tránh c c đối sánh dư thừa trong c c sơ đồ dịch trên. Một c ch là viết lại c c sơ đồ dịch bằng c ch tổ hợp chúng thành một - một c ng vi c nói chung ... chương trình C là lex.yy .c. Chương trình này bao gồm c c đ c tả về sơ đồ dịch đư c xây dựng từ c c biểu th c chính quy c a lex.l, kết hợp với c c thủ t c chuẩn nhận dạng trị từ vựng. C c hành vi...

Tài liệu Tài liệu trình biên dịch C (ĐH Cần Thơ) part 12 docx

... phạm mơ hồ cho kết c u biểu th c đ c tả đư c một c ch ngắn gọn và tự nhiên hơn bất kỳ một văn phạm không mơ hồ nào kh c. Văn phạm mơ hồ c n đư c dùng trong vi c tách biệt c c kết c u c pháp thường ... DỤNG C C VĂN PHẠM MƠ HỒ Như chúng ta đã nói trư c đây rằng mọi văn phạm mơ hồ đều không phải là LR. Tuy nhiên c một số văn phạm mơ hồ lại rất c ích cho vi c đ c tả và c i đặt ngôn ngữ. Chẳng ... gặp cho quá trình tối ưu hóa. Với một văn phạm mơ hồ, chúng ta c thể đưa thêm c c luật sinh mới vào văn phạm. M c dù c c văn phạm là đa nghĩa, trong mọi trường hợp, chúng ta sẽ đưa thêm c c...

Tài liệu Tài liệu trình biên dịch C (ĐH Cần Thơ) part 17 doc

... Một lư c đồ dịch c pháp tr c tiếp với văn phạm c thể phân tích dự đoán. Output: Mã cho bộ dịch tr c tiếp c pháp. Phương pháp: 1. Với mỗi ký hiệu chưa kết th c A, xây dựng một hàm c c c tham ... 133 BÀI TẬP CHƯƠNG V 5.1. Xây dựng một c y phân tích c pháp chú thích cho biểu th c số h c sau: (4 * 7+ 1) * 2 5.2. Xây dựng một c y phân tích c pháp và c y c pháp cho biểu th c ... một định nghĩa tr c tiếp c pháp x c định kiểu c a mỗi biểu th c con. b) Mở rộng định nghĩa tr c tiếp c pháp trên để dịch c c biểu th c thành ký pháp hậu tố và x c định c c kiểu. Dùng toán...

Tài liệu Tài liệu trình biên dịch C (ĐH Cần Thơ) part 18 docx

... 6.4- Lư c đồ dịch kiểm tra kiểu c a c c lệnh 137 4. Kiểm tra kiểu c a c c hàm Áp dụng hàm vào một đối số c thể đư c cho bởi luật sinh E → E (E). Lư c đồ dịch cho kiểm tra kiểu cho một ... kh c nhau đư c dùng cho số th c và số nguyên. Trình biên dịch c thể th c hiện vi c chuyển đổi kiểu để hai toán hạng c c ng kiểu khi phép toán c ng xảy ra. Bộ kiểm tra kiểu trong trình biên ... th c, real+ th c hiện phép c ng c c số th c. Sự ép bu c chuyển đổi kiểu Sự chuyển đổi từ kiểu này sang kiểu kh c đư c gọi là ẩn (implicit) nếu nó đư c làm một c ch tự động bởi chương trình...

Tài liệu Tài liệu trình biên dịch C (ĐH Cần Thơ) part 27 doc

... t2. Khối c bản c dạng chuẩn cho phép tất c c c lệnh c quyền hoán đổi nếu c thể. Chuyển đổi đại số C c biểu th c trong một khối c bản c thể đư c chuyển đổi sang c c biểu th c tương đương. ... hiện qua c c bư c từ (1) đến (3) cho mỗi lệnh c a khối. L c đầu, ta giả sử chưa c c c nút và hàm node không đư c định nghĩa cho tất c c c đối số. C c dạng lệnh ba địa chỉ ở một trong c c dạng ... Phép chuyển đổi đại số này giúp ta đơn giản hoá c c biểu th c ho c thay thế c c biểu th c có giá cao bằng c c biểu th c có giá rẻ hơn. Chẳng hạn, c u lệnh x := x + 0 ho c x := x * 1 c thể được...

Xem thêm