Lingua di destinazione
Un linguaggio oggetto è un linguaggio che è oggetto di studio in vari campi, tra cui logica , linguistica , matematica e informatica teorica . La lingua usata per parlare di una lingua target è chiamata metalingua . [ 1 ] Un linguaggio oggetto può essere formale o naturale . [ citazione necessaria ]
Moduli linguaggio oggetto
Lingue formali
La logica matematica e la linguistica fanno uso di metalinguaggi, che sono linguaggi che descrivono la natura di altre lingue. Nella logica matematica, il linguaggio oggetto è normalmente un linguaggio formale . Il linguaggio descritto da un metalinguaggio è il linguaggio oggetto. Si chiama in questo modo perché il linguaggio è l'oggetto in discussione usando il metalinguaggio.
Ad esempio, qualcuno che dice "In francese, dici Bonjour per salutare qualcuno" usa lo spagnolo come metalinguaggio per descrivere il francese .
Linguaggi informatici
Esistono due modi in cui il termine linguaggio a oggetti può essere utilizzato nell'informatica: un linguaggio che è l'oggetto della specifica formale e un linguaggio che è l'oggetto, o destinazione, di un compilatore o interprete.
Specifica formale
I linguaggi di programmazione sono linguaggi oggetto del metalinguaggio in cui è scritta la loro specifica . In informatica questo è indicato come il linguaggio delle specifiche . La notazione Backus-Naur è stata uno dei primi linguaggi di specifica.
Quando i compilatori vengono scritti utilizzando sistemi come lex e Yacc , le regole scritte dal programmatore sembrano una specifica formale, ma sono invece considerate un'implementazione . Molte implementazioni del linguaggio di programmazione non sono esattamente le stesse delle loro specifiche, aggiungendo funzionalità o prendendo decisioni di progettazione indipendenti dall'implementazione.
Codice oggetto
Al loro livello più elementare, i computer agiscono in base a ciò che viene loro fornito attraverso un insieme limitato di istruzioni che le loro CPU comprendono. Sui primi computer, ciò significava che i programmatori potevano programmare utilizzando direttamente il codice binario. Poiché ciò richiede pratica e molta pazienza, i linguaggi di programmazione successivi si sono impegnati molto per semplificare il lavoro del programmatore. Ad esempio, un linguaggio di programmazione di alto livello consente al programmatore di assegnare un valore a una variabile senza specificare un indirizzo di memoria o un'istruzione della CPU.
In questo contesto, il linguaggio di programmazione di alto livello è il linguaggio sorgente , che viene tradotto da un compilatore in codice oggetto che può essere letto direttamente dalla CPU. Questo codice oggetto sarà il linguaggio oggetto e varierà a seconda della CPU che riceve le istruzioni.
Il linguaggio degli oggetti in questo contesto significa qualcosa come "ciò che il programmatore sta cercando di ottenere". Se i linguaggi sorgente e oggetto sono visti come linguaggi formali, ciò che fa il compilatore è interpretare la lingua sorgente nella lingua di destinazione.
La lingua dell'oggetto in questo contesto è sinonimo di lingua di destinazione . La lingua di destinazione di una traduzione è solitamente il linguaggio macchina , ma può essere di un altro tipo, come il linguaggio assembly .
Poiché il linguaggio oggetto del compilatore è solitamente linguaggio macchina, il termine file oggetto indica un file contenente istruzioni macchina e talvolta il programma tradotto viene semplicemente chiamato oggetto .
Il linguaggio a oggetti non deve essere confuso con il linguaggio orientato agli oggetti , che è un tipo di linguaggio di programmazione che organizza l'ambiente del programmatore in oggetti che possono essere utilizzati in modo simile mediante trascinamento della selezione .
Espressioni nel linguaggio degli oggetti
Simboli
Un simbolo è un'idea , un'astrazione , un concetto o un tipo di cui possono essere presenti segni o una configurazione di segni che formano un modello particolare. Il termine simbolo nell'uso comune si riferisce alla simbolizzazione di un'idea, sebbene nel linguaggio formale studiato in matematica e logica il termine simbolo simbolo si riferisca all'idea e i segni siano considerati un caso specifico del simbolo.
Formule
Nei linguaggi formali utilizzati nella logica matematica e informatica, una formula o formula ben formata è un'idea , un'astrazione o un concetto espresso utilizzando i simboli e le regole di formulazione (chiamate anche grammatica formale ) di un particolare linguaggio formale. Dire che una stringa di simboli è una formula ben formata rispetto a una data grammatica equivale a dire che appartiene al linguaggio generato da .
Sistema formale
Un sistema formale è l'unione di un linguaggio formale e di un sistema deduttivo costituito da un insieme di regole di inferenza e/o assiomi . Un sistema formale viene utilizzato per ottenere espressioni da espressioni precedentemente nel sistema. Queste espressioni sono chiamate assiomi per quelle che sono state assunte come vere e teoremi per quelle che sono state derivate. Un sistema formale può essere formulato e studiato per le sue proprietà intrinseche, oppure può essere fornito come descrizione di fenomeni esterni.
Teoremi
Un teorema è un simbolo o una stringa di simboli che si ottiene utilizzando un sistema formale . La stringa di simboli è una logica conseguenza degli assiomi e delle regole di inferenza del sistema
Prove formali
Una prova formale o derivazione è una sequenza finita di proposizioni (chiamate formule ben formate in un linguaggio formale ) ciascuna delle quali è un assioma o è dedotta da altre proposizioni. L'ultima affermazione nella sequenza è un teorema o sistema formale . Il concetto di deduzione naturale è una generalizzazione del concetto di prova. [ 2 ]
Teoria
Una teoria è un insieme di affermazioni nel linguaggio formale .
Riferimenti
- ↑ IN VENDITA, RAE-. «metalinguaggio | Dizionario della lingua spagnola» . «Dizionario della lingua spagnola» - Edizione del Trecentenario . Estratto il 23 dicembre 2021 .
- ^ Il Cambridge Dictionary of Philosophy , deduzione .
