algebra auf baeumen

21/11/2008 - 15:07 von Robert Figura | Report spam
Liebe Newsgroup,

ich bin auf der Suche nach Publikationen oder Texten zu Algebren auf
Bàumen oder Wàldern. Spezifisch suche ich formalen Abhandlungen zu
Strukturen die sich aus der Überlagerung von Namensràumen ergeben.

Zum Beispiel können under Plan 9 (Betriebssystem) Verzeichnisse
übereinandermontiert werden. Oder: PHP bietet ein array_merge_recursive
zum Kombinieren von assoziativen Arrays, welches andere Eigenschaften
hat.

Ich kann mir gut Zugànge über Kategorientheorie oder auch Typentheorie
vorstellen bin aber eigendlich tatsàchlich daran interessiert welche
Algebren zu diesem Thema bereits untersucht wurden.

Hat es ein Fachwort für Namensràume das von Formalisten bevorzugt wird?
(Tree ist zu allgemein, Namespaces wird anscheinend nicht verwendet).

Es wàre toll wenn Du mir hier weiterhelfen könntest denn das Thema
bewegt mich sehr.

Vielen Dank und Grüße
- Robert Figura

/* mandlsig.c 0.42 (c) by Robert Figura */
I02;float O,o,i;main(l){for(;I--;putchar("oO .,t>neo.ckgel-t\
agidif@<ra urig FrtbeRo"[I%74?I>837&874>I?I^833:l%5:5]))for(O=o=l0;O*O+o*o<(16^l++);o=2*O*o+I/74/11.-1,O=i)i=O*O-o*o+I%74*.04-2.2;}
 

Lesen sie die antworten

#1 ram
21/11/2008 - 15:59 | Warnen spam
Robert Figura writes:
Hat es ein Fachwort für Namensràume das von Formalisten bevorzugt wird?



Ich weiß nicht, was da üblich ist, aber ich würde es so schreiben:

Die Urbilder einer Abbildung »g« werden manchmal auch »Namen«
und die Abbildung »Namensraum« genannt. Dies geschieht
besonders dann, wenn diese Urbilder Zeichenfolgen sind.

Ein Wert wie »g("abc")« wird in einem Dateisystem
beispielsweise als »/abc« geschrieben.

Ist »g(x)« selber wieder eine Abbildung, so ist »(g(x))(y)«
wieder ein Wert. Dabei wird die anonyme Abbildung »g« auch als
»globaler« oder »anonymer« oder »oberster« Namensraum
bezeichnet, und »g(x)« ist dann der »Namensraum x«.

Der Wert »(g("abc"))("def")« wird in einem Dateisystem
beispielsweise als Pfad »/abc/def« geschrieben.

Ähnliche fragen