8.4 Selmo als formale Sprache für Maschinenverhalten

Man kann Selmo als eine domänenspezifische Sprache betrachten, die Maschinenverhalten beschreibt. Sie ersetzt informelle Beschreibungen („Zylinder fährt, wenn Taste gedrückt“) durch formale, maschinenlesbare Logik: „In Zustand 1 → Taste = S → wenn TRUE → Next State.“

Das Ergebnis ist eine Maschinensprache auf Verhaltensebene – eine Sprache, die nicht nur der SPS-Prozessor versteht, sondern auch der Mensch, der sie entwirft, prüft oder auditiert.

Diese Klarheit führt dazu, dass Maschinenlogik wieder erklärbar wird – nicht nur für Programmierer, sondern auch für Mechaniker, Elektriker und Qualitätsingenieure.