Was auf formale Sprachen können zugeschrieben werden? Anwendungsbeispiele

Was ist die Formensprache und wie unterscheidet es sich von den natürlichen? Wie wurde es gebildet? Was auf formale Sprachen können zugeschrieben werden? Und es wird verwendet, um ihn zu finden?

Merkmale der formalen Sprachen

So nennen wir eine Gruppe von Kunstsprachen, die durch präzise Regeln für die Konstruktion von Ausdrücken gekennzeichnet sind, sowie ihr Verständnis. Systeme für industrielle Zwecke verwendet werden, können auf formale Sprachen zurückzuführen. Sie sind mit den klaren Regeln in Übereinstimmung gebaut, bieten konsistente, kompakt und präzise Anzeige der Eigenschaften und Beziehungen der untersuchten Themenbereich oder modellierten Objekten. Der Wert und die Bedeutung der Markierungen können nicht durch pragmatische Funktionen (Verwendung des Kontextes) geändert werden. Dies ist möglich dank der Anwesenheit in der Formensprache der Regeln der Syntax Konvertierung und semantische Interpretation. Sie werden oft unter Verwendung als Basis der Mathematik gebaut. Aufgrund der Tatsache, dass es auf der ganzen Spannweite der Entwicklung, hat eine Vielzahl von symbolischen Bezeichnungen verwendet worden, um eine Vielzahl von Konzepten und Objekten angewandt. Das ist, was formale Sprachen benötigt. Sie können erheblich Daten reduzieren. Zuvor hat zusammen mit den formalen und natürlichen Sprachen verwendet worden, aber mit der schrittweisen Komplikation des Themas und die Notwendigkeit eine strenge logische Analyse der mathematischen Argumentation zu machen, wurde beschlossen, die Vergangenheit zu verlassen. Dieser Prozess dauerte vom XVII bis XX Jahrhundert. Es ist das letzte Jahrhundert der fruchtbarste in Bezug auf formale Sprachen betrachtet. verschiedene spezielle Zweige wurden geschaffen. Also, für die Informatik von besonderer Bedeutung sind Programmiersprachen und der Algebra der Logik, nicht nur theoretisch, sondern auch von einem praktischen Standpunkt aus.

Definition

Was auf formale Sprachen zugeordnet werden können, haben wir bereits kurz erläutert. Aber was können wir sagen, über sie? Formale Sprache viele verschiedene Definitionen gegeben. Um sie alle aufzulisten, wird es viel Zeit lassen, so werfen Sie einen Blick auf die beliebtesten:

1. Eine einfache Liste von Worten in der Sprache – in der Regel sagen, so in Bezug auf die letzte Art der Konstruktion und über diejenigen, die eine einfache Struktur aufweisen.
2. Wörter durch eine gewisse formale Grammatik erzeugt.
3. Die Struktur von regulären Ausdrücken erstellt.
4. Worte durch das BPF-Design erzeugt.
5. Die Struktur, erkennbar durch einen endlichen Automaten.

Betrachten wir ein Beispiel. Dies ist die Verwendung einer formalen Sprache Lassen Sie uns sagen, dass wir das ganze Alphabet haben, da zwei Nummern 1 und 0 den Buchstaben „O“, um anzuzeigen, verwenden wir eine Kombination aus 1010001.. Es ist auch möglich, leere Worte zu verwenden (wenn die Zeichenfolge der Länge Null haben, und es gibt nichts) mit einer speziellen Bezeichnung in Form uns vertrauen. Aber im Detail zu verstehen, was ist eine formale Sprache, helfen vier Beispiele, die nächste gegeben werden. Was macht es? Um das Verständnis des Lesers war, dass eine formale Sprache zugeschrieben werden kann. Aber ein wenig mehr darüber, wie sie erstellt werden.

Der Bau der formalen Sprachen

Jede Sprache ist eine formale Struktur, die einmal und jemand erstellt wurde. Sie werden in der Regel nach dem gleichen Muster aufgebaut:

1. Um zu beginnen, wählen Sie das Alphabet, oder eine Reihe von spezifischen Zeichen, die gebaut werden und Ausdrücke in der Sprache verwendet. Durch die Formensprache ist eine Möglichkeit, einen Computer zu programmieren, verwenden.
2. Es beschreibt die Syntax, das heißt, Eigenschaften und Regeln, die sinnvollen Sätze bauen.
3. Auf bestimmte Regeln für die Wörter und Ausdrücke. Hier gibt es eine Regel: jede Folge von Buchstaben müssen in der Lage sein, Wörter zu zählen.

Durch die formale Sprache bezieht sich auf jede Struktur, die klare Regeln hat – es sollte nicht vergessen werden. Beim Bau gibt es einige Funktionen. So ist der Begriff „Zeichen“ sehr multifunktionales im Hinblick auf die Bedeutung, so zum größten Teil den Begriff als „Brief“. Aber unter ihnen können nicht nur für uns die übliche Notation zu verstehen, sondern auch die Klammern, Sonderzeichen und vieles mehr. Dies gilt nur für formale Sprachen.

Beispiel 1

Beginnen wir mit 1 und 0. In einem solchen Fall starten, verwenden die mehr das Konzept der „Begriff“ und „Formel“. Der erste fungiert als Analogon des Objekts und den Namen spezifisch beziehen sich auf etwas verwendet. Zunächst einmal verstehen, die Konstanten und Variablen einzelnen unter ihnen. Von diesen wiederum bauen komplexere Strukturen, die in irgendeiner Sprache Funktion verwendet wird. Unter den Bedingungen der Gruppe mit der Formel zu verstehen, ist die Verwendung in einer bestimmten Programmiersprache möglich. Dieser „Befehl“ wird verarbeitet, und die Person wird das gewünschte Ergebnis erhalten.

Beispiel 2

Man betrachte das Beispiel Logik, in der es eine Umkehrung (¬), Disjunktion (∧), der Verbindung (∨) und die Implikation (⇒) und einige andere. In einem solchen Aufzeichnung von Bildern kann als angegeben werden:

1. A;
2. A∧V ⇒ ¬A
3. ¬ (A∨¬S)

Da die Zeichen A, B, C, ersetzen die Variablen und Sie erhalten die logischen Operationen. Wo formale Sprachen dieser Art anwenden? Die weit verbreitete Verwendung eines solchen Mechanismus ist in Programmiersprachen, Mathematik, Beziehungen, logische und mathematische Funktionen oder Teile davon durch den Programmierer beschrieben wurden gefunden.

Beispiel 3

Schauen wir uns ein komplexeren logischen Formeln aussehen:

¬ (A∨¬S) ⇔ ¬A∧S = 1

Deshalb haben wir formale Sprachen benötigen. Stellen Sie sich vor, was passiert wäre, wenn es in Worten beschrieben wurde? Nun, basierend auf einer Formel schließen wir Schlussfolgerungen. Bedeutungsvolle Ausdrücke können nur in der formalen Sprache erhalten werden, wenn bestimmte Regeln Präformation geachtet werden, ändern und „Verstehen“ der Formeln und Begriffe aus dem sie gemacht werden:

1. Bau Begriff Formeln und;
2. Studie des semantischen Aspekt und Interpretation;
3. Die Sequenz eines der Formeln und anderen Begriff.

Jede formale Sprache gut eingerichtet werden sollten Regeln festgelegt.

Beispiel 4

Durch die Präsenz in den Regeln der Sprachsyntax Ausgabe für Begriffe und Formeln isomorph Transformationsmodelle hergestellt werden. So wird es durchgeführt wird nicht nur die Reflexion (Darstellung) einen bestimmten Bestand an Wissen, das bereits existiert, kann aber neue Informationen erhalten. Darüber hinaus ist die Transformation, obwohl und Ort nach klaren und strengen Regeln stattfinden wird, kann es automatisiert werden. Ähnliche Techniken werden eingesetzt in Expertensystemen, Wissensdatenbanken und Software Decision Support Produkten.

Abschluss

Formale Sprachen sind in der Wissenschaft, vor allem in der Technik weit verbreitet. Während der wissenschaftlichen Forschung und der Durchführung von praktischen Tätigkeiten können sie mit dem natürlichen, im Hinblick auf die erheblichen Ausdrucksfähigkeit des letzteren zusammenwirken. Doch formale Sprachen genauer Wissen vermitteln und einen objektiven Informationsaustausch durch die Menschheit angehäuft auszuführen.