[MaLo] ML Operatoren

[Flo]

Hi zusammen,

kurze Frage: Ist es möglich, mehrere ML-Operatoren zusammenzufassen bzw. haben wir das in der Übung mal gemacht? Hab im Skript leider nix dazu gefunden.

Also ich meine Folgendes:

statt
sowas in der Art wie:

So dass ich phi nicht extra "auslagern" oder mehrmals hinschreiben muss.

Ich fürchte zwar nicht, dass das zulässig ist und der "leere" box bzw. diamond Operator sind ja leider auch nur definiert, wenn es nur einen Kantentyp gibt.

Danke!
Viele Grüße
Flo

[aRo]

Hallo!

du meinst vermutlich sowas hier:


So gehts, vgl Musterlösung Aufgabe 1, Übung 9

[Flo]

ah cool, das heißt, ich darf mir einfach einen meigenen box- bzw. diamond-Operator definieren, so wie ich ihn für die Aufgabe brauche?

Denn ich hatte auch einmal in der Übung einfach eine Box geschrieben und damit eine beliebige Transition gemeint, das aber nicht explizit definiert.
Dementsprechend wurde mir das als Fehler angestrichen, da der leere Box-Operator "nur definiert ist für denn Fall dass es nur einen Transitionstypen gibt".

Danke! Ich glaube das spart in der Klausur einiges an Schreibarbeit!