Diskussion:Semantik (Logik)

aus Wikipedia, der freien Enzyklopädie
Letzter Kommentar: vor 15 Jahren von AlfonsGeser in Abschnitt Formale Semantik in der Informatik
Zur Navigation springen Zur Suche springen

Formale Semantik in der Informatik[Quelltext bearbeiten]

Letzter Kommentar: vor 15 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

Abgerufen von „https://de.wikipedia.org/w/index.php?title=Diskussion:Semantik_(Logik)&oldid=188714461“