Newsgroups: de.etc.sprache.deutsch,de.sci.informatik.misc
Followup-To: de.sci.informatik.misc
[Zum Thema »formale Sprache«:]
Post by Helmut Richter- einerseits als "Sprache, die durch ein formales System
(also ein System, wie man es für eine Formelsprache
verwendet) definiert ist", auch im Gegensatz zu
natürlichen Sprachen, die durch Sprachgebrauch definiert
sind
- andererseits als "Sprache, von der hier nur die Form
(also die Syntax) und nicht der Inhalt (also Semantik
und Pragmatik) interessiert"
Ein Symbol kann jede Prägung (Modulation) eines physikalischen
Systems sein, die in ihrer Art wiedererkennbar ist und von
allen anderen Symbolen unterschieden werden kann, wie
beispielsweise ein rotes Strichmännchen oder eine bestimmte
Wolkenform oder ein bestimmtes Läuten einer Glocke.
Meine eigene Definition einer formalen Syntax ist dann:
Eine formale Syntax ist eine Menge von Symbolen.
Beispielsweise sind die Symbole von Java in diesem Sinne die
terminalen Darstellungen des Startsymbols (»translation
unit«). Diese Menge ist in diesem Fall also die Menge aller
möglichen Übersetzungseinheiten.
Diese Definition ist einfacher, da sie direkt auf den beiden
fundamentalen Begriffen »Menge« und »Symbol« beruht, ohne -
wie Deine Definition - selber wieder ie komplexen Begriff
»Sprache« und »formales System« zu benötigen.
Ein Gegenbeispiel wäre »Deutsch«: Hier gibt es Grenz- und
Zweifelsfälle und eine ständige Veränderung, so daß die
deutschen Sätze keine Menge bilden.
Meine Definition von »Semantik«
Eine Abbildung, die auf einer formalen Syntax
definiert ist, wird auch »Semantik« genannt.
Diese Definition beruht auch auf möglichst einfachen
Grundbegriffe.
Meine Definition von »formale Sprache« ist dann:
Eine formale Sprache ist eine Semantik.
(Die Syntax ist damit auch gegeben, so daß sie in dieser
Definition nicht extra aufgezählt werden muß.)
Beispiel, die Strichlistennotation für Zahlen:
| = 1
|| = 2
||| = 3
u.s.w.
Hier ist die Semantik die eben angedeutete Abbildung und damit
ist die Syntax als die Menge { |, ||, |||, ... }.
Ein ähnlich Weise den Begriff zu definieren, die etwas
abstrakter ist, da sie sich nicht an physikalische Symbole
bindet:
Eine »Abbildung« wird manchmal auch eine »formale Sprache«
genannt. Der Definitionsbereich der Abbildung wird dann
»Syntax der formalen Sprache« genannt, und die Abbildung
wird dann auch »Semantik der formalen Sprache« genannt,
die Werte werden auch »Bedeutungen« der formalen Sprache
genannt.
Bei Java ist diese Abbildung beispielsweise die Abbildung, die
jeder Übersetzungseinheit ihr Laufzeitverhalten zuordnet
(operationale Semantik), die Definitionsmenge ist die Menge
aller Übersetzungseinheiten.
Newsgroups: de.etc.sprache.deutsch,de.sci.informatik.misc
Followup-To: de.sci.informatik.misc