Sản xuất một phần mềm có độ tin cậy cao là một trong những mục tiêu quan trọng nhất của ngành công nghiệp phần mềm. Thế nhưng mục tiêu ấy dường như vẫn là một thách thức to lớn đối với các nhà nghiên cứu cũng như các nhà sản xuất. Người ta đã thống kê được rằng trung bình có 1,2 bọ lỗi trong khoảng 400 dòng mã lệnh.
Theo lời của Bill Gates, chủ tịch hãng phần mềm Microsoft, khoảng 50% số nhân viên của hãng chỉ chuyên làm công việc kiểm nghiệm chương trình và 50% còn lại cũng phải dành khoảng 50% thời gian làm việc của họ để kiểm tra chương trình.
Vì sao vậy? Vì nhiều lý do, trong đó có một lý do dễ hiểu: các chương trình vốn là những thực thể động. Các nhà thiết kế dù rất sáng tạo và giàu sức tưởng tượng cũng không thể hình dung hết những gì sẽ xảy ra trong quá trình một chương trình hoạt động, đặc biệt khi nó cần phải tương tác với rất nhiều chương trình khác cũng đang cùng hoạt động.
Thế thì tất cả những điều đó có liên quan gì đến lãnh vực trình biên dịch? Chúng tôi chỉ xin viện dẫn 2 lý do:
1. Thứ nhất, hiểu được những quá trình xảy ra trong lúc biên dịch một chương trình cho phép lập trình viên biết rõ những bọ lỗi có thể xảy ra trong chương trình, nhờ đó họ có nhiều cơ hội phát hiện ra hoặc tránh được các bọ lỗi ngay trong lúc viết chương trình. Kết quả rất có thể sẽ làm giảm đi con số 1, 2 bọ lỗi trong khoảng 400 dòng mã lệnh.
2. Thứ hai, thành tựu của lãnh vực trình biên dịch đã và đang được ứng dụng để xây dựng ccác chương trình kiểm nghiệm tự động. Những chương trình này sẽ làm giảm đi chi phí kiểm nghiệm và bảo trì một phần mềm.
Tập sách này đã được trích dịch từ cuốn sách Red Dragon (Con rồng đỏ) nổi tiếng Compilers: Principles, Techniques, and Tools của ba tác giả Alfred V. Aho, Ravi Sethi và Jeffrey D. Ullman, được nhà xuất bản Addison-Wesley ấn hành năm 1986. Hy vọng cuốn sách sẽ đem đến cho bạn đọc những kiến thức bổ ích về Trình biên dịch.