Das formelle Sprache ist eine Reihe von Sprachzeichen zur ausschließlichen Verwendung in Situationen, in denen die natürliche Sprache nicht geeignet ist. Im Allgemeinen wird die Sprache in natürliche oder informelle und künstliche Sprache unterteilt. Die erste wird für häufige Situationen im täglichen Leben verwendet. In der Zwischenzeit wird das Künstliche in bestimmten Situationen außerhalb des Alltags eingesetzt.
Auf diese Weise gehört die formale Sprache zur Gruppe der künstlichen. Dies wird insbesondere in den formalen Wissenschaften verwendet (jene, deren Handlungsfeld nicht die Realitäten der physischen Welt, sondern der abstrakten Welt sind). Einige dieser Wissenschaften umfassen Logik, Mathematik und Computerprogrammierung..
In diesem Sinne verwendet diese Art von Sprache Sprachcodes, die nicht natürlich sind (sie haben keine Anwendung in der Kommunikation in der gewöhnlichen Welt). Im Bereich der formalen Wissenschaften ist eine formale Sprache eine Reihe von Symbolketten, die durch Gesetze geregelt werden können, die für jede dieser Wissenschaften spezifisch sind..
Diese Art von Sprache verwendet eine Reihe von Symbolen oder Buchstaben als Alphabet. Daraus werden die "Sprachketten" (Wörter) gebildet. Diese werden, wenn sie den Regeln entsprechen, als "wohlgeformte Wörter" oder "wohlgeformte Formeln" betrachtet..
Artikelverzeichnis
Die formale Sprache zielt darauf ab, Daten unter Umgebungsbedingungen auszutauschen, die sich von denen anderer Sprachen unterscheiden. In der Programmiersprache ist das Ende beispielsweise die Kommunikation zwischen Menschen und Computern oder zwischen computergestützten Geräten. Es ist keine Kommunikation zwischen Menschen.
Es ist also eine Sprache Ad hoc, mit einem bestimmten Ziel erstellt und unter ganz bestimmten Kontexten zu funktionieren. Auch ist es nicht weit verbreitet. Im Gegenteil, seine Verwendung ist auf diejenigen beschränkt, die sowohl das Ziel der Sprache als auch ihren besonderen Kontext kennen..
Die formale Sprache entsteht aus der Festlegung von a priori grammatikalischen Regeln, die ihr die Grundlage geben. Daher wird zuerst der Satz von Prinzipien entworfen, der die Kombination von Elementen (Syntax) regelt, und dann werden die Formeln generiert.
Andererseits ist die Entwicklung der formalen Sprache bewusst. Dies bedeutet, dass für ihr Lernen nachhaltige Anstrengungen erforderlich sind. Ebenso führt seine Verwendung zu einer Spezialisierung auf die Vorschriften und Konventionen der wissenschaftlichen Verwendung.
Die semantische Komponente in der formalen Sprache ist minimal. Eine bestimmte Zeichenfolge, die zur formalen Sprache gehört, hat für sich genommen keine Bedeutung.
Die semantische Last, die sie haben können, kommt teilweise von Operatoren und Beziehungen. Einige davon sind: Gleichheit, Ungleichheit, logische Verknüpfungen und arithmetische Operatoren.
In der natürlichen Sprache hat die Wiederholung der Kombination von "p" und "a" im Wort "papa" den semantischen Wert eines Elternteils. In der formalen Sprache ist dies jedoch nicht der Fall. Im praktischen Bereich liegt die Bedeutung oder Interpretation der Zeichenfolgen in der Theorie, die man durch diese formale Sprache zu definieren versucht.
Wenn es für lineare Gleichungssysteme verwendet wird, hat es die Matrixtheorie als einen seiner semantischen Werte. Andererseits hat dasselbe System die semantische Last von Logikschaltungsentwürfen beim Rechnen.
Zusammenfassend hängt die Bedeutung dieser Ketten von dem Bereich der formalen Wissenschaften ab, in dem sie angewendet werden..
Die formale Sprache ist völlig symbolisch. Dies geschieht aus Elementen, deren Aufgabe es ist, die Beziehung zwischen ihnen zu vermitteln. Diese Elemente sind die formalen sprachlichen Zeichen, die, wie erwähnt, selbst keinen semantischen Wert erzeugen..
Die Form der Konstruktion der Symbologie der formalen Sprache ermöglicht Berechnungen und die Feststellung von Wahrheiten, die nicht von den Tatsachen, sondern von ihren Beziehungen abhängen. Diese Symbolik ist einzigartig und weit entfernt von jeder konkreten Situation in der materiellen Welt..
Die formale Sprache hat einen universellen Charakter. Im Gegensatz zum natürlichen, der aufgrund seiner Subjektivität Interpretationen und mehrere Dialekte zulässt, ist der formale unveränderlich.
Tatsächlich ist es für verschiedene Arten von Gemeinschaften ähnlich. Seine Aussagen haben für alle Wissenschaftler die gleiche Bedeutung, unabhängig von der Sprache, die sie sprechen.
Im Allgemeinen ist die formale Sprache präzise und nicht sehr ausdrucksstark. Seine Formationsregeln verhindern, dass seine Sprecher neue Begriffe prägen oder bestehenden Begriffen neue Bedeutungen geben. Und es kann nicht verwendet werden, um Überzeugungen, Stimmungen und psychologische Situationen zu vermitteln.
Da bei der Entdeckung von Anwendungen für die formale Sprache Fortschritte erzielt wurden, war ihre Entwicklung exponentiell. Die Tatsache, dass es mechanisch bedient werden kann, ohne über seinen Inhalt (seine Bedeutung) nachzudenken, ermöglicht die freie Kombination seiner Symbole und Operatoren.
Theoretisch ist der Umfang der Expansion unendlich. Beispielsweise beziehen sich neuere Forschungen auf dem Gebiet der Datenverarbeitung und Informatik auf beide Sprachen (natürlich und formal) für praktische Zwecke..
Insbesondere arbeiten Gruppen von Wissenschaftlern daran, die Äquivalenz zwischen ihnen zu verbessern. Am Ende wird versucht, Intelligenz zu schaffen, die formale Sprache verwenden kann, um natürliche Sprache zu erzeugen.
In der Zeichenfolge: (p⋀q) ⋁ (r⋀t) => t symbolisieren die Buchstaben p, q, r, t Sätze ohne konkrete Bedeutung. Andererseits repräsentieren die Symbole ⋀, ⋁ und => die Konnektoren, die die Sätze verbinden. In diesem speziellen Beispiel werden folgende Anschlüsse verwendet: "und" (⋀), "oder" (⋁), "dann" (=>).
Die dem String am nächsten liegende Übersetzung lautet: Wenn einer der Ausdrücke in Klammern wahr ist oder nicht, dann ist t wahr oder nicht. Die Konnektoren sind dafür verantwortlich, die Beziehungen zwischen den Sätzen herzustellen, die alles darstellen können ...
In diesem mathematischen Beispiel A = ❴x | x⦤3⋀x> 2❵ handelt es sich um eine Menge mit dem Namen "A", die Elemente des Namens "x" enthält. Alle Elemente von A sind durch die Symbologie ❴, |, ⦤, ⋀,>, ❵ verbunden.
Alle von ihnen werden hier verwendet, um die Bedingungen zu definieren, die die Elemente "x" erfüllen müssen, damit sie aus der Menge "A" stammen..
Die Erklärung dieser Kette ist, dass die Elemente dieser Menge alle diejenigen sind, die die Bedingung erfüllen, kleiner oder gleich 3 und gleichzeitig größer als 2 zu sein. Mit anderen Worten, diese Kette definiert die Zahl 3, die die ist einziges Element, das die Bedingungen erfüllt.
Die Programmierzeile IF A = 0, THEN GOTO 30, 5 * A + 1 hat eine Variable "A", die einem Überprüfungs- und Entscheidungsprozess durch einen Operator unterzogen wird, der als "wenn bedingt" bekannt ist..
Die Ausdrücke "IF", "THEN" und "GOTO" sind Teil der Operatorsyntax. Währenddessen sind die restlichen Elemente die Vergleichs- und Aktionswerte von "A"..
Seine Bedeutung ist: Der Computer wird aufgefordert, den aktuellen Wert von "A" auszuwerten. Wenn es gleich Null ist, geht es zu "30" (eine andere Programmierzeile, in der es eine andere Anweisung gibt). Wenn es sich von Null unterscheidet, wird die Variable „A“ mit dem Wert 5 multipliziert (*) und der Wert 1 addiert (+)..
Bisher hat noch niemand einen Kommentar zu diesem Artikel abgegeben.