1. Ví dụ về các hệ thống như vậy là các mạch luận lý số, máy tự động và ngôn ngữ hình thức, chương trình máy tính và máy tính.

Examples of such systems are digital logic circuits and components, automata and formal language, computer programs, and computers.