Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Losungsvorschlag Termersetzungssysteme Blatt 4 Eingabe: E, s t Frage: s E t? (gdw. s
 

Summary: L¨osungsvorschlag Termersetzungssysteme ­ Blatt 4
Aufgabe 1
Eingabe: E, s t Frage: s E t? (gdw. s
E t)
Idee: Z¨ahle alle Terme t auf mit s
E t .
Hilfsmittel:
f : IN>0
T (, V) surjektiv und berechenbar (d.h. insbesondere {f(1), f(2), . . .} = T (, V))
Sei T ein Baum mit der Knotenmenge {1w | w (IN>0
)
} (IN>0
)+
und der Beziehung
w1 = father(w2) gdw. w2 = w1i f¨ur eine nat¨urliche Zahl i > 0. Wir beschriften ausgew¨ahlte
Knoten von T mit gerade den Termen t T (, V), f¨ur die gilt s
E t . F¨ur die Beschriftung
term[wi] eines Knotens wi = 1 soll dabei stets term[w] E term[wi] = f(i) gelten. Wird nun
der Knoten 1 mit s beschriftet, so gilt die Beziehung s E t genau dann, wenn ein Knoten von
T mit t beschriftet wird.

  

Source: Ábrahám, Erika - Fachgruppe Informatik, Rheinisch Westfälische Technische Hochschule Aachen (RWTH)

 

Collections: Computer Technologies and Information Sciences