Übungsbuch Theoretische Informatik

Question

Folgender Satz auf Seite 70 im Übungsbuch ergibt keinen Sinn: 'Man kann darüber hinaus zeigen, dass monotone Grammatiken genau dieselben Sprachen erzeugen können wie kontextsensitive, indem man einen Algorithmus angibt, der aus einer beliebigen kontextsensitiven Grammatik eine äquivalente monotone Grammatik generiert [HMU11].' Sollte eher umgekehrt sein.

..., der aus einer beliebigen monotonen Grammatik ...

Answer 1

Hallo Tobi

Zur Abgrenzung der beiden Grammatiken: Zu jeder kontextsensitiven Grammatik gibt es eine monotone Grammatik. Beide erzeugen die gleiche Sprachklasse. Kontextsensitive Grammatiken sind auch monotone (da keine Verkürzungen erlaubt sind), aber monotone Grammatiken sind eben nicht unbedingt kontextsensitiv. So sind reine Umbenennungen bei monotonen Grammatiken erlaubt, bei kontextsensitiven jedoch nicht.

VG

Anastasia (Tutorin)

Comments

Trotzdem hat der Student recht, es sollte anders herum lauten. Kontextsensitive Grammatiken sind ja schon monoton, da braucht man keinen Algorithmus.