Zielsprache

Eine Objektsprache ist eine Sprache , die Gegenstand des Studiums in verschiedenen Bereichen ist, darunter Logik , Linguistik , Mathematik und theoretische Informatik . Die Sprache, die verwendet wird, um über eine Zielsprache zu sprechen, wird als Metasprache bezeichnet . Eine Objektsprache kann formal oder natürlich sein . ^{[ Zitat erforderlich ]}

Objektsprachenformulare

Formale Sprachen

Mathematische Logik und Linguistik verwenden Metasprachen, das sind Sprachen, die die Natur anderer Sprachen beschreiben. In der mathematischen Logik ist die Objektsprache normalerweise eine formale Sprache . Die Sprache, die eine Metasprache beschreibt, ist die Objektsprache. Es wird so genannt, weil die Sprache das Diskussionsobjekt ist, das die Metasprache verwendet.

Jemand, der beispielsweise sagt „Auf Französisch sagt man Bonjour , um jemanden zu begrüßen“, verwendet Spanisch als Metasprache, um Französisch zu beschreiben.

Computersprachen

Es gibt zwei Möglichkeiten, wie der Begriff Objektsprache beim Rechnen verwendet werden kann: eine Sprache, die das Objekt einer formalen Spezifikation ist, und eine Sprache, die das Objekt oder Ziel eines Compilers oder Interpreters ist.

Formale Spezifikation

Programmiersprachen sind Objektsprachen der Metasprache, in der ihre Spezifikation geschrieben ist. In der Informatik wird dies als Spezifikationssprache bezeichnet . Die Backus-Naur-Notation war eine der ersten Spezifikationssprachen.

Wenn Compiler mit Systemen wie lex und Yacc geschrieben werden , sehen die Regeln, die der Programmierer schreibt, wie eine formale Spezifikation aus, werden aber stattdessen als Implementierung betrachtet . Viele Programmiersprachenimplementierungen sind nicht genau dieselben wie ihre Spezifikation, fügen Funktionen hinzu oder treffen implementierungsunabhängige Entwurfsentscheidungen.

Objektcode

Auf ihrer grundlegendsten Ebene reagieren Computer auf das, was ihnen durch einen begrenzten Satz von Anweisungen gegeben wird, die ihre CPUs verstehen. Auf frühen Computern bedeutete dies, dass Programmierer direkt mit Binärcode programmieren konnten. Da dies Übung und viel Geduld erfordert, haben sich spätere Programmiersprachen große Mühe gegeben, die Arbeit des Programmierers zu vereinfachen. Beispielsweise ermöglicht eine höhere Programmiersprache dem Programmierer, einer Variablen einen Wert zuzuweisen, ohne eine Speicheradresse oder einen CPU-Befehl anzugeben.

Die höhere Programmiersprache ist dabei die Quellsprache , die von einem Compiler in direkt von der CPU lesbaren Objektcode übersetzt wird. Dieser Objektcode ist die Objektsprache und variiert abhängig davon, welche CPU Anweisungen empfängt.

Objektsprache bedeutet in diesem Zusammenhang so etwas wie „was der Programmierer zu erreichen versucht“. Wenn Quell- und Objektsprache als formale Sprachen angesehen werden, interpretiert der Compiler die Quell- in die Zielsprache.

Objektsprache ist in diesem Zusammenhang gleichbedeutend mit Zielsprache . Die Zielsprache einer Übersetzung ist normalerweise Maschinensprache , kann aber auch von einem anderen Typ sein, wie z. B. Assemblersprache .

Da die Objektsprache des Compilers normalerweise eine Maschinensprache ist, bedeutet der Begriff Objektdatei eine Datei, die Maschinenanweisungen enthält, und manchmal wird das übersetzte Programm einfach als Objekt bezeichnet .

Die Objektsprache sollte nicht mit der objektorientierten Sprache verwechselt werden , bei der es sich um eine Art Programmiersprache handelt , die die Umgebung des Programmierers in Objekte organisiert, die auf ähnliche Weise per Drag-and-Drop verwendet werden können .

Ausdrücke in der Objektsprache

Symbole

Ein Symbol ist eine Idee , eine Abstraktion , ein Konzept oder eine Art , von denen es Markierungen oder eine Konfiguration von Markierungen geben kann, die ein bestimmtes Muster bilden. Der allgemein gebräuchliche Begriff Symbol bezieht sich auf die Symbolisierung einer Idee, obwohl sich in der mathematischen und logischen Formensprache der Begriff Symbol Symbol auf die Idee bezieht und die Zeichen als Sonderfall des Symbols gelten.

Formeln

In den formalen Sprachen, die in der mathematischen und Computerlogik verwendet werden, ist eine wohlgeformte Formel oder Formel eine Idee , Abstraktion oder ein Konzept , das unter Verwendung der Symbole und Formulierungsregeln (auch formale Grammatik genannt ) einer bestimmten formalen Sprache ausgedrückt wird. Zu sagen, dass eine Folge von Symbolen eine wohlgeformte Formel in Bezug auf eine gegebene Grammatik ist, ist gleichbedeutend mit der Aussage, dass sie zu der von erzeugten Sprache gehört . $Jawohl$$G$$Jawohl$$G$

Formales System

Ein formales System ist die Vereinigung einer formalen Sprache und eines deduktiven Systems , das aus einer Reihe von Inferenzregeln und/oder Axiomen besteht . Ein formales System wird verwendet, um Ausdrücke aus zuvor im System vorhandenen Ausdrücken zu erhalten. Diese Ausdrücke heißen Axiome für diejenigen, die als wahr angenommen wurden, und Theoreme für diejenigen, die abgeleitet wurden. Ein formales System kann formuliert und auf seine intrinsischen Eigenschaften untersucht werden, oder es kann als Beschreibung externer Phänomene gegeben werden.

Sätze

Ein Theorem ist ein Symbol oder eine Folge von Symbolen, die unter Verwendung eines formalen Systems erhalten wird . Die Zeichenkette ist eine logische Folge der Axiome und Schlußregeln des Systems

Formale Tests

Ein formaler Beweis oder eine formale Ableitung ist eine endliche Folge von Aussagen ( in einer formalen Sprache wohlgeformte Formeln genannt ), von denen jede ein Axiom ist oder aus anderen Sätzen abgeleitet wird. Die letzte Aussage in der Folge ist ein formales Theorem oder System . Der Begriff der natürlichen Deduktion ist eine Verallgemeinerung des Beweisbegriffs. ]

Theorie

Eine Theorie ist eine Menge von Aussagen in formaler Sprache .