Volltext
• R ist nicht-¨uberlappend, falls es keine kritischen Paare hat.
• R ist linkslinear, falls keine linke Seite Variablen mehrfach enth¨alt.
• R ist orthogonal, falls es nicht-¨uberlappend und linkslinear ist.
• Starke Konfluenz p s
=
t q =
impliziert Konfluenz (Satz 5.3.6)
• Parallele Ersetzungsrelation: s ⇒R t gdw. es existiert – eine Menge Π = {π1, . . . , πn} paralleler Stellen von s – Regeln li → ri ∈ R
– Substitutionen σi
mit s|πi = liσi und t = s[r1σ1]π1 . . . [rnσn]πn.
ÄHNLICHE DOKUMENTE
„Als Hitler das rosa Kaninchen stahl“, „Jim Knopf und Lukas der Lokomotivführer“, „Harry Potter und der Halbblutprinz“ und „Robbi, Tobbi und das Fliewatüüt“ aufmerksam
[r]
Gerda Freise unterzog sich der Mühe, sich zum Beleg ihrer Thesen in ein für sie komplett neues tr'achge-. biet einzuarbeiten, die Grundlagen der
Mit |E| → 0 geht die Steigung der blauen Gerade gegen −∞, und ihr erster Schnittpunkt mit der roten Tangenskurve wandert nach links gegen den Grenzwert ka = π 2. Dann geht die
Im Limes g → ∞ sind diese Zust¨ ande also tats¨ achlich entartet. (b) Wir schreiben
Gehe zu
[r]
[r]
