Automation control systems are modeled by formal languages or, equivalently, by state machines.

• 自动化控制系统模型的正式语文或等值，由国家机器。