search

knowsys / FormaleSysteme

Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
https://iccl.inf.tu-dresden.de/web/Formale_Systeme
44 stars 14 forks source link

fixed typos #46

Closed anbereza closed 3 years ago

anbereza commented 3 years ago

I also changed occurrences of "nicht-deterministisch" to "nichtdeterministisch" and "nichttrivial" to "nicht-trivial" for consistency.

mkroetzsch commented 3 years ago

Vielen Dank! Ich stimme zu, dass der Bindestrich in nichtdeterministisch nichts verloren hat. Nur verstehe ich dann nicht ganz, warum dann bei "nichttrivial" wieder ein Bindestrich eingeführt werden soll.

Der Duden bevorzugt bei solchen Konstruktionen oft die Getrenntschreibung ("nicht öffentlich" vor "nichtöffentlich" etc.), gibt aber beide Varianten als korrekt an: https://www.duden.de/rechtschreibung/nicht_keineswegs_nein Die Schreibung mit Bindestrich wird dagegen vom Duden offenbar gar nicht unterstützt. Bei einen Fachbegriff (wie hier) bietet sich die Schreibung als zwei getrennte Wörter eher nicht an, daher wäre ich für "nichttrivial" und "nichtdeterministisch".

anbereza commented 3 years ago

Das stimmt, da hatte ich mich eher darauf konzentiert, dass "nichttrivial" sonst an allen anderen Stellen als "nicht-trivial" geschrieben wurde und nicht auf die Richtigkeit. Da solche Konstruktionen mit "nicht-..." an diversen anderen Stellen auftreten, habe ich dort entsprechend Ihres Vorschlags die Bindestriche entfernt.

Noch eine kleine bzw. eher irrelevante Sache zu der Setzung von Punkten am Satzende: Das ist an manchen Stellen relativ inkonsistent (z.B. Vorlesung 2, Folie 34; Vorlesung 11, Folie 25; Vorlesung 12, Folie 30). Soll das so sein?

mkroetzsch commented 3 years ago

Klasse, ich habe das so gemerget (neue PDFs/Videos werde ich jetzt nicht erstellen, aber die Verbesserungen erscheinen dann im nächsten Durchlauf).