Diskussion:Denotationelle Semantik

Im Abschnitt "Für die zwei-seitige Alternative gilt" scheint mir der letzte Satz im Widerspruch zu der Formelschreibweise darüber zu stehen. Muss es nicht heißen "In allen anderen Fällen terminiert das Programm." ?

Gruß

-- Frankme 11:34, 22. Feb. 2008 (CET)

Das stimmt meines Erachtens im Wesentlichen schon. Allerdings bleibt das Problem, dass die Semantik von Ausdrücken hier kommentarlos eingeführt wird. B[z]=true ist hier undefiniert geblieben.

--Horstmeier 14:12, 8. Mär. 2008 (CET)

Der Schritt von w_2 zu w_n ist für mich auch nach einer Nacht Beschäftigung mit der Materie noch nicht nachvollziehbar. Der Weg zu dieser Herleitung sollte beschrieben werden.

Überarbeitung

Ich habe mal die Einleitung überarbeitet. Es heisst übrigens denotationelle und nicht denotationale Semantik [1]. Könnte jemand die Seite entsprechend verschieben? Weiterhin habe ich Speicherzustände in Zustände umbenannt, da eine formale Sprache nichts von einem Computerspeicher weiß.

Irgendwelche Vorschläge zur Entwirrung der Formeln? Grob scheint mir das korrekt zu sein. --Maneac 20:28, 16. Apr. 2009 (CEST)

Mehrdeutigkeit

"semantische Funktion" wird auch schlicht i.S.v. semantische Rolle verwendet. So z.B. im Glossar von Christa Dürscheid: Syntax. Grundlagen und Theorien. 5. Auflage. Vandenhoeck & Ruprecht, Göttingen 2010 (UTB, 3319), ISBN 978-3-8385-3319-9, S. 237

-- Hans-Jürgen Streicher (Diskussion) 11:27, 3. Jun. 2012 (CEST)