Langue cible

Un langage objet est un langage qui fait l'objet d'études dans divers domaines, notamment la logique , la linguistique , les mathématiques et l'informatique théorique . Le langage utilisé pour parler d'une langue cible s'appelle un métalangage . Un langage objet peut être formel ou naturel . ^{[ citation nécessaire ]}

Formes de langage objet

Langages formels

La logique mathématique et la linguistique utilisent des métalangages, qui sont des langages qui décrivent la nature d'autres langages. En logique mathématique, le langage objet est normalement un langage formel . Le langage décrit par un métalangage est le langage objet. Il est appelé ainsi parce que le langage est l'objet en discussion à l'aide du métalangage.

Par exemple, quelqu'un qui dit "En français, on dit Bonjour pour saluer quelqu'un" utilise l'espagnol comme métalangage pour décrire le français .

Langages informatiques

Il existe deux façons d'utiliser le terme langage objet en informatique : un langage qui fait l'objet d'une spécification formelle et un langage qui est l'objet, ou la cible, d'un compilateur ou d'un interpréteur.

Spécification formelle

Les langages de programmation sont des langages objets du métalangage dans lequel leur spécification est écrite. En informatique, on parle de langage de spécification . La notation Backus-Naur a été l'un des premiers langages de spécification.

Lorsque les compilateurs sont écrits à l'aide de systèmes tels que lex et Yacc , les règles écrites par le programmeur ressemblent à une spécification formelle, mais sont plutôt considérées comme une implémentation . De nombreuses implémentations de langage de programmation ne sont pas strictement identiques à leurs spécifications, ajoutant des fonctionnalités ou prenant des décisions de conception indépendantes de l'implémentation.

Code de l'objet

À leur niveau le plus élémentaire, les ordinateurs agissent sur ce qui leur est donné par le biais d'un ensemble limité d'instructions que leurs processeurs comprennent. Sur les premiers ordinateurs, cela signifiait que les programmeurs pouvaient programmer directement en utilisant le code binaire. Comme cela demande de la pratique et beaucoup de patience, les langages de programmation ultérieurs ont déployé de grands efforts pour simplifier le travail du programmeur. Par exemple, un langage de programmation de haut niveau permet au programmeur d'attribuer une valeur à une variable sans spécifier d'adresse mémoire ou d'instruction CPU.

Dans ce contexte, le langage de programmation de haut niveau est le langage source , qui est traduit par un compilateur en code objet directement lisible par le CPU. Ce code objet sera le langage objet et variera en fonction du processeur qui reçoit les instructions.

Le langage objet dans ce contexte signifie quelque chose comme "ce que le programmeur essaie de réaliser". Si les langages source et objet sont considérés comme des langages formels, le compilateur interprète la source en langage cible.

Le langage objet dans ce contexte est synonyme de langage cible . La langue cible d'une traduction est généralement le langage machine , mais peut être d'un autre type, tel que le langage d'assemblage .

Étant donné que le langage objet du compilateur est généralement un langage machine, le terme fichier objet désigne un fichier contenant des instructions machine, et parfois le programme traduit est simplement appelé un objet .

Le langage objet ne doit pas être confondu avec le langage orienté objet , qui est un type de langage de programmation qui organise l'environnement du programmeur en objets pouvant être utilisés de la même manière par glisser-déposer .

Expressions en langage objet

Symboles

Un symbole est une idée , une abstraction , un concept ou un type dont il peut y avoir des marquages ​​ou une configuration de marquages ​​qui forment un motif particulier. Le terme symbole d'usage courant fait référence à la symbolisation d'une idée, bien que dans le langage formel étudié en mathématiques et en logique, le terme symbole symbole se réfère à l'idée et les marques sont considérées comme un cas spécifique du symbole.

Formules

Dans les langages formels utilisés en logique mathématique et informatique, une formule ou une formule bien formée est une idée , une abstraction ou un concept exprimé à l'aide des symboles et des règles de formulation (également appelées grammaire formelle ) d'un langage formel particulier. Dire qu'une suite de symboles est une formule bien formée par rapport à une grammaire donnée équivaut à dire qu'elle appartient au langage généré par . $oui$$g$$oui$$g$

formel

Un système formel est l'union d'un langage formel et d'un système déductif constitué d'un ensemble de règles d'inférence et/ou d' axiomes . Un système formel est utilisé pour obtenir des expressions à partir d'expression(s) précédemment dans le système. Ces expressions sont appelées axiomes pour celles qui ont été supposées vraies, et théorèmes pour celles qui ont été dérivées. Un système formel peut être formulé et étudié pour ses propriétés intrinsèques, ou il peut être donné comme une description de phénomènes externes.

Théorèmes

Un théorème est un symbole ou une chaîne de symboles obtenus à l' aide d'un système formel . La chaîne de symboles est une conséquence logique des axiomes et des règles d'inférence du système

Tests formels

Une preuve ou dérivation formelle est une séquence finie de propositions (appelées formules bien formées dans un langage formel ) dont chacune est un axiome ou est déduite d'autres phrases. Le dernier énoncé de la séquence est un théorème ou un système formel . Le concept de déduction naturelle est une généralisation du concept de preuve. ]

Théorie

Une théorie est un ensemble d' énoncés en langage formel .