Formale Sprache: Merkmale und Beispiele
Formale Sprache ist eine Reihe von sprachlichen Zeichen, die ausschließlich in Situationen verwendet werden, in denen die natürliche Sprache nicht angemessen ist. Im Allgemeinen wird die Sprache in natürliche oder informelle und künstliche unterteilt. Der erste wird für alltägliche Situationen verwendet. In der Zwischenzeit wird der Kunstgriff in bestimmten Situationen außerhalb des Alltags eingesetzt.
Auf diese Weise ist die formale Sprache Teil der künstlichen Gruppe. Dies wird vor allem in den formalen Wissenschaften (diejenigen, deren Handlungsfeld nicht die Realitäten der physischen Welt, sondern der abstrakten Welt sind) verwendet. 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 innerhalb 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 nun 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" angesehen.
Eigenschaften
Eingeschränkte Umgebung
Ziel der formalen Sprache ist es, Daten unter anderen Umweltbedingungen als in anderen Sprachen auszutauschen. In der Programmiersprache ist das Ende beispielsweise die Kommunikation zwischen Mensch und Computer oder zwischen computergestützten Geräten. Es ist keine Kommunikation zwischen Menschen.
Es handelt sich also um eine Ad-hoc- Sprache, die mit einem bestimmten Ziel erstellt wurde und in einem bestimmten Kontext funktioniert. Auch wird es nicht massiv genutzt. Im Gegenteil, seine Verwendung ist auf diejenigen beschränkt, die sowohl das Ziel der Sprache als auch den jeweiligen Kontext kennen.
Grammatik regiert von vornherein
Die formale Sprache wird aus der Aufstellung a priori grammatischer Regeln gebildet, die die Grundlage bilden. Also entwerfen wir zuerst die Prinzipien, die die Kombination von Elementen regeln (Syntax) und generieren dann die Formeln.
Andererseits ist die Entwicklung der formalen Sprache bewusst. Dies bedeutet, dass für ihr Lernen nachhaltige Anstrengungen erforderlich sind. In der gleichen Reihenfolge der Ideen führt seine Verwendung zu einer Spezialisierung auf die Vorschriften und Konventionen des wissenschaftlichen Gebrauchs.
Minimale semantische Komponente
Die semantische Komponente in der formalen Sprache ist minimal. Eine bestimmte Kette, die zur formalen Sprache gehört, hat an sich keine Bedeutung.
Die semantische Last, die sie möglicherweise haben, stammt teilweise von Operatoren und Beziehungen. Einige davon sind: Gleichheit, Ungleichheit, logische Verknüpfungs- und arithmetische Operatoren.
In der natürlichen Sprache hat die Wiederholung der Kombination von "p" und "a" im Wort "Vater" den semantischen Wert eines Elternteils. In der formalen Sprache ist dies jedoch nicht der Fall. Im praktischen Bereich liegt die Bedeutung oder Interpretation der Ketten in der Theorie, die durch diese formale Sprache definiert werden soll.
Wenn es für lineare Gleichungssysteme verwendet wird, hat es daher die Matrixtheorie als einen seiner semantischen Werte. Andererseits hat dasselbe System die semantische Last logischer Schaltungsentwürfe beim Rechnen.
Zusammenfassend hängt die Bedeutung dieser Ketten vom Bereich der formalen Wissenschaften ab, in denen sie angewendet werden.
Symbolsprache
Die Formensprache ist vollständig 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, für sich genommen keinen semantischen Wert erzeugen.
Die Form der Konstruktion der formalen Sprachsymbologie ermöglicht es uns, Berechnungen anzustellen und Wahrheiten festzustellen, die nicht von den Tatsachen, sondern von ihren Beziehungen abhängen. Diese Symbologie ist einzigartig und weit entfernt von jeder konkreten Situation in der materiellen Welt.
Universalität
Die Formensprache hat universellen Charakter. Anders als der natürliche, der aufgrund seiner Subjektivität Interpretationen und mehrere Dialekte zulässt, erscheint der formale unveränderlich.
In der Tat ist es für verschiedene Arten von Gemeinden ähnlich. Ihre Ansätze haben für alle Wissenschaftler die gleiche Bedeutung, unabhängig von der Sprache, die sie sprechen.
Präzision und Ausdruckskraft
Im Allgemeinen ist die formale Sprache präzise und wenig aussagekräftig. Seine Ausbildungsregeln hindern seine Sprecher daran, neue Begriffe zu prägen oder bestehenden Begriffen eine neue Bedeutung zu geben. Und es kann nicht verwendet werden, um Überzeugungen, Stimmungen und psychologische Situationen zu vermitteln.
Erweiterungskapazität
In dem Maße, in dem Fortschritte bei der Entdeckung von Anwendungen für die formale Sprache erzielt wurden, wurde ihre Entwicklung potenziert. 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 Expansionsspielraum unendlich. Beispielsweise beziehen sich neuere Untersuchungen auf dem Gebiet der Datenverarbeitung und der Datenverarbeitung für praktische Zwecke auf beide (natürliche und formale) Sprachen.
Insbesondere arbeiten Gruppen von Wissenschaftlern an Wegen, um die Gleichwertigkeit zwischen ihnen zu verbessern. Am Ende geht es darum, Intelligenz zu schaffen, die formale Sprache zur Erzeugung natürlicher Sprache verwenden kann.
Beispiele
Logik
In der Zeichenkette: (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 Aussagen verbinden. In diesem speziellen Beispiel sind die verwendeten Konnektoren "y" (⋀), "o" (⋁) und "then" (=>).
Die dem String am nächsten kommende Übersetzung lautet: Wenn einer der Ausdrücke in Klammern erfüllt ist oder nicht, dann ist t erfüllt oder nicht erfüllt. Die Konnektoren sind dafür verantwortlich, die Beziehungen zwischen Aussagen herzustellen, die alles repräsentieren können.
Mathematik
In diesem mathematischen Beispiel A = ❴x | x⦤3⦤x> 2❵ greift eine Menge mit dem Namen "A" ein, die Elemente mit dem Namen "x" enthält. Alle Elemente von A sind durch die Symbolik ❴, |, ⦤, ⋀, >, ❵ verbunden.
Alle von ihnen werden hier verwendet, um die Bedingungen zu definieren, die die "x" -Elemente erfüllen müssen, damit sie zur Menge "A" gehören können.
Die Erklärung dieser Kette ist, dass die Elemente dieser Menge alle diejenigen sind, die die Bedingung erfüllen, dass sie kleiner oder gleich 3 und gleichzeitig größer als 2 sind. Mit anderen Worten, diese Kette definiert die Zahl 3, die das einzige Element ist, das dies tut erfüllt die Bedingungen.
Computerprogrammierung
Die Programmierzeile IF A = 0, THEN GOTO 30, 5 * A + 1 hat eine Variable "A", die einem Überprüfungs- und Entscheidungsprozess durch einen Operator unterworfen ist, der als "wenn bedingt" bekannt ist.
Die Ausdrücke "IF", "THEN" und "GOTO" sind Teil der Operatorsyntax. In der Zwischenzeit 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 einen anderen Befehl gibt). Wenn es sich von Null unterscheidet, wird die Variable "A" mit dem Wert 5 multipliziert (*) und der Wert 1 wird addiert (+).
