Diskussion:Semantik (Logik)

Formale Semantik in der Informatik

Letzter Kommentar: vor 17 Jahren1 Kommentar1 Person ist an der Diskussion beteiligt

"operational" und "denotational" scheinen mir unübersetztes Englisch zu sein. Sagt man im Deutschen nicht "operationell" und "denotationell" dafür? Attributierte Grammatiken haben mit Semantik nichts zu tun. Sie sind für die "statische Semantik" zuständig, eine Methode um Kontextabhängigkeiten in eine kontextfreie Sprache einzuführen. Mit anderen Worten, sie sind ein Teil der Syntaxanalyse.--AlfonsGeser 16:14, 18. Mai 2008 (CEST)Beantworten