Đại cương về công nghệ phần mềm

Các điều kiện sau khác nhau nếu đều códạng a’ = . (trong đódấu chấm . chỉ dịnh một biểu thức không chứa các biến cóđánh dấu nháy), thì cóthểđược chuyển thành phép gán qua các quy tắc bổtrợnhư sau : - Loại bỏcác điều kiện sau dạng đẳng thức. Ví dụ: d’ = d - Thay thếdấu = bởi dấu gán bằng := - thực hiện phép tối ưu khi một hàm làquátải. - Loại bỏcác dấu nháy ‘ - Thay thếmột điềukiện sau bởi cấu trúc điều kiện if . else