Anmerkung zur Operatorrangfolge auf Sprachen ggf. missverständlich

[monsterkrampe]

Siehe:

FormaleSysteme/Vorlesungen/lecture-01.tex

Line 672 in 027386d

\item Klammern einsparen: Kleene-Stern $^*$ und Plus $^+$ binden immer am stärksten, gefolgt von $\circ$, $\cap$, $\cup$ und $\setminus$

Es scheint nicht unmittelbar klar zu sein, welche Operatorrangfolge für Konkatenation, Schnitt, Vereinigung und Differenz definiert wird.
Konkret gibt es hierzu folgende Anmerkung:

Die Formulierung "Kleene-Stern und Plus binden immer am stärksten, gefolgt von Konkatenation, Schnitt, Vereinigung und Differenz" klingt ein bisschen so also seien Konktatenation, schnitt, vereinigung, Differenz sozusagen gleichwertig.

Eventuell lässt sich hier klarer formulieren, dass Konkatenation vor Schnitt vor Vereinigung vor Differenz ausgeführt wird (da dies nach meinem Verständnis die angestrebte Rangfolge ist).

[monsterkrampe]

Das wurde durch e377b65 aus meiner Sicht gelöst.