Die definierten Begriffe aus Formale Spezifikationssprachen – zuerst im Originalwortlaut, danach Schritt für Schritt erklärt und mit Beispielen greifbar gemacht.