Hey,
ich tu mir grad eine Vorlesung zum Thema Übersetzerbau an. Praktische Erfahrungen mit dem Thema habe ich schon, nur in der Theorie fehlt mir wohl ein wenig mathematisches Grundwissen.
Hier im Skript(
http://fldit-[url]www.cs.uni-dortmund.de…/CbauFolien.pdf[/url] ) ist auf Seite 20 die Rede von S-Sortigen Mengen und Mengenfamilien. Mich stört das A in der Definition.
Sei S eine Menge.
§
A = \{ A_s | s \in S \}
§
Diese Definition ist mir nicht ganz klar. Wie gesagt das A stört mich irgendwie. Was wäre in so einem
§A_s§ drin? A wird danach auf der selben Seite im Skript verwendet um Typen erster Ordnung zu bestimmen bzw um die S-Sortigen Mengen zur Menge der Typen erster Ordnung zu liften. Ich hoffe ich drücke mich hier vernünftig aus
edit:
Mal direkt auf die erste Aufgabe vom aktuellen Übungszettel bezogen. Hier sind mehrere Ausdrücke gegeben, als Beispiel
§(s \times \mathbb{N})^\mathbb{Z}§, bei denen geprüft werden soll ob sie in
§T(S, BS)§(Keine Ahnung wie ich das passende T texen kann) sind. Dabei ist die Menge von Sorten gegeben durch
§S =\{r, s \}§ und die Menge von Basismengen durch
§BS = \{ \mathbb{N}, \mathbb{Z}\}§. In diesem Fall müsste laut meinem Verständnis der Ausdruck in
§T§ sein, wobei es bei meiner Frage um den Teil oben geht.