8.4 Selmo as a formal language for machine behavior

One can view Selmo as a domain-specific language that describes machine behavior. It replaces informal descriptions ("Cylinder moves when button is pressed") with formal, machine-readable logic: "In state 1 → Button = S → if TRUE → Next State."

The result is a machine language at the behavior level – a language that is understood not only by the PLC processor, but also by the person who designs, inspects, or audits it.

This clarity makes machine logic explainable again – not only for programmers, but also for mechanics, electricians, and quality engineers.