1. Dự án Production Quality Compiler-Compiler ở Đại học Carnegie-Mellon không hình thức hoá ngữ nghĩa nhưng có một framework bán hình thức cho mô tả máy tính.

The Production Quality Compiler-Compiler project at Carnegie-Mellon University does not formalize semantics, but does have a semi-formal framework for machine description.

2. Ví dụ, nếu có hai hình thức hoá tệ trong lưu thông, mà được chấp nhận bởi luật pháp là có giá trị danh nghĩa tương tự, loại hoá tệ có giá trị hơn sẽ biến mất khỏi lưu thông.

For example, if there are two forms of commodity money in circulation, which are accepted by law as having similar face value, the more valuable commodity will gradually disappear from circulation.