Was zu den formalen Sprachen gehören? Beispiele für die Verwendung

Was ist eine formale Sprache und wie unterscheidet es sich vom natürlichen? Wie er gebildet? Was zu den formalen Sprachen gehören? Und was für deren Bezeichnung verwendet?

Eigenschaft formaler Sprachen

So nennt man eine Gruppe von künstlichen Sprachen, die sich durch präzise Regeln bezüglich der Konstruktion der Ausdrücke, sowie deren Verständnis. Zu den formalen Sprachen gehören Systeme, die für angewandte Zwecke. Sie dreht sich unter Einhaltung klarer Regeln, sorgen für einen konsistenten, kompakte und präzise Darstellung von Beziehungen und Eigenschaften der zu untersuchenden Themenbereich oder modellierten Objekte. Der Wert und die Bedeutung der verwendeten Zeichen kann nicht geändert werden von irgendwelchen pragmatischen Eigenschaften (Kontext verwenden). Dies ist möglich Dank der Anwesenheit in der formalen Sprachen Regeln der Umwandlung von syntaktischen und semantischen Interpretation. Oft werden bei der Verwendung als Basis der Mathematik. Dadurch, daß in Ihr, auf den ganzen Zeitraum der Entwicklung, wurden verschiedene symbolische Bezeichnungen, die galten, mit verschiedenen Konzepten und Objekten. Deshalb brauchen formale Sprachen. Sie ermöglichen es, die Daten stark zu reduzieren. Früher zusammen mit wurden die formalen und natürlichen Sprachen, sondern mit einer allmählichen Komplikation des Gegenstandes zu Begehen und der Notwendigkeit, eine strenge logische Analyse der mathematischen Urteile beschloss der Vergangenheit. Dieser Prozess erstreckt sich seit dem siebzehnten bis zwanzigsten Jahrhundert. Gerade das vergangene Jahrhundert gilt als das fruchtbarste aus der Entwicklung formaler Sprachen. Wurden verschiedene spezielle Ableger. Also, für die informatik von besonderer Bedeutung sind die Programmiersprachen und die algebra der Logik, und zwar nicht nur vom theoretischen, sondern vom praktischen Standpunkt aus gesehen.

Definition

Was zu den formalen Sprachen gehören, haben wir bereits kurz erklärt. Aber was können Sie sagen über sich selbst? Formale Sprachen gegeben eine Menge von verschiedenen Definitionen. Um Sie alle aufzuzählen, es wird lange dauern, deshalb Lesen die beliebtesten:

1. Eine Einfache Liste von Wörtern, die in dieser Sprache – so sagt man in der Regel relativ endlichen Typs erstellen und über diejenigen von Ihnen, dass Sie haben eine einfache Struktur.
2. Die Worte, die von einer bestimmten formalen Grammatik.
3. Eine Struktur, die durch reguläre Ausdrücke.
4. Die Worte, die von der BNF-Design.
5. Struktur, identifizierbare endliche Automaten.

Lassen Sie uns betrachten wir ein Beispiel. Nehmen wir an, wir haben das ganze Alphabet angegebenen zwei zahlen: 1 und 0. Zur Darstellung von Buchstaben «» wir verwenden eine Kombination aus 1010001. Dies ist die Anwendung der formalen Sprache. Möglich ist auch die Verwendung des leeren Wortes (wenn der String hat die Länge null und nichts) mit der eigenartigen Bezeichnung in der für uns gewohnten Form. Aber genauer zu verstehen, was ist eine formale Sprache, helfen 4 Beispiele, die weiter gegeben werden. Wozu braucht man das? Um beim Leser Verständnis war, dass zu den formalen Sprachen gehören. Aber noch ein wenig darüber, wie Sie erstellt werden.

Mehr:

Das Deutsche Flugzeug "Messerschmitt-262": die Geschichte der Entstehung, Merkmale, Foto

High-Speed-Strahltriebwerk-Kämpfer-Abfangjäger Messerschmitt ME-262 Schwalbe („Messerschmitt ME-262 Schwalbe») erschien auf dem Schlachtfeld nur im Jahr 1944. Man kann nicht genau sagen, für welchen Job diese Maschine bestimmt. Experiment...

Moderne Schule: Geschichte, Voraussetzungen, Probleme. Modelle der modernen Schulen

Historische Entstehung von Schulen förderte den Wunsch der Menschen die Welt zu erkennen und erweitern Ihre Kenntnisse. Deshalb versucht der Mensch zur Gemeinschaft mit den weisen und sehnte sich danach von Ihnen zu lernen wissen.die Geschichte der m...

"Haare zu Berge": Bedeutung, Herkunft фразеологизма

In der Russischen Sprache treffen eine ausreichende Anzahl von geheimnisvollen Floskeln, über deren Bedeutung schwer zu erraten. Die sprachliche Konstruktion „die Haare» gehört eindeutig zu den solchen. Zum Glück, der Ursprung dieses Ausd...

Konstruktion formaler Sprachen

Jede formale Sprache ist eine Konstruktion, die erstellt wurde, wenn etwas und jemand. Gebaut werden Sie in der Regel nach einem Schema:

1. Für den Anfang Alphabet wählen oder eine Reihe von spezifischen Zeichen, aus denen die Ausdrücke aufgebaut werden, die in der Sprache. Zu den formalen Sprachen gehört jede Art der Programmierung mit dem Computer.
2. Beschreibt die Syntax, d.h. die Eigenschaften und Regeln, nach denen gebaut werden sinnvolle Vorschläge.
3. Nach bestimmten Regeln werden die Wörter und Ausdrücke. Hier gibt es eine Regel: jede Folge von Buchstaben muss die Möglichkeit haben, als das Wort.

Zu den formalen Sprachen gehört jedes mögliches Design, die klare Regeln – sollte es zu merken. Beim Aufbau gibt es einige Besonderheiten. Also, der Begriff «ein» extrem vielseitig in Bezug auf Sinn, also in Ihrer Masse verwenden diesen Begriff als „Buchstabe». Aber unter Ihnen verstehen können nicht nur die üblichen Bezeichnungen für uns, sondern auch Klammern, Sonderzeichen und vieles mehr. Gilt dies nur für den formalen Sprachen.

Beispiel 1

Beginnen Wir mit 1 und 0. In solchen Fällen verwenden noch die Begriffe „term“ und „Formel». Der erste fungiert als Entsprechung des namens des Objekts und verwendet werden, um etwas bestimmtes zu tun. In Erster Linie unter Ihnen zu verstehen Konstanten und fachspezifischen Variablen. Von Ihnen wiederum gebaut werden, mehr komplizierte Designs, was nutzt das in irgendeiner Sprache-Funktion. Unter der Formel zu verstehen, die Gruppe термов, deren Anwendung in einer bestimmten Programmiersprache ist möglich. Diese „Hinweis» wird verarbeitet, und der Mensch erhält das gewünschte Ergebnis.

Beispiel 2

Betrachten wir am Beispiel der Logik, in der es eine Inversion (¬), Disjunktion(∧), Verbindung(∨) und импликация(⇒) und einige andere. Als Bilder können solche Aufzeichnungen führen:

1. A;
2. Und∧ ⇒ ¬Und
3. ¬(A∨¬C)

Als Zeichen A, B, C ordnen Sie den Variablen und erhalten Sie die logischen Operationen. Wo gelten die formalen Sprachen dieser Art?Die Breite Nutzung ähnlichen Mechanismus fand in Sprachen, Mathematik, Beziehungen, logischen und mathematischen Funktionen oder einzelnen teilen, die beschrieben worden sind selbst Programmierer.

Beispiel 3

Betrachten Wir eine komplexe logische Formel:

¬(A∨¬ ⇔ ¬Und∧C = 1

Darum gibt es formale Sprachen. Stellen Sie sich vor was wäre, wenn es Worten beschrieben? Nun, unter Berufung auf eine Formel, werden Schlussfolgerungen ableiten. Sinnvolle Ausdrücke können Sie in der formalen Sprache nur dann eingehalten werden, wenn die vordefinierten Regeln für die Bildung, änderung und „verstehen» Formeln und термов, aus denen Sie gebildet werden, sind:

1. Aufbau von Thermen und Formeln;
2. Die Durcharbeitung des semantischen Aspekts und Interpretation;
3. Die Reihenfolge von einigen Formeln und Thermen aus der anderen.

In jeder formalen Sprache muss gut etabliert Gesamtheit der Daten Regeln.

Beispiel 4

Dank der in der Syntax der Sprache für interferenzregel термов und Formeln können isomorphen Transformation von Modellen. So findet nicht nur eine Reflexion (Repräsentation) einer bestimmten Gesamtheit von wissen, was schon da ist, sondern vielleicht neue Informationen. Wobei die Transformation, und zwar wird nach einem klaren und strengen Regeln, durchaus möglich zu automatisieren. Ähnliche Technologien werden in Experten-Systeme, Wissensdatenbanken und Software-Produkte Unterstützung der Entscheidungsfindung.

Fazit

Formale Sprachen fanden Breite Anwendung in der Wissenschaft, vor allem in der Technik. Während der Durchführung der wissenschaftlichen Forschung oder bei der Ausübung der praktischen Tätigkeit können Sie interagieren mit den natürlichen, aufgrund der erheblichen Expressive Fähigkeiten des letzteren. Aber dennoch formale Sprachen erlauben es, genauer zu vermitteln, wissen und objektiver Austausch von Informationen, Energiereserve für die Menschheit.