Cílový jazyk

Objektový jazyk je jazyk , který je předmětem studia v různých oblastech, včetně logiky , lingvistiky , matematiky a teoretické informatiky . Jazyk používaný k mluvení o cílovém jazyce se nazývá metajazyk . Objektový jazyk může být formální nebo přirozený . ^{[ vyžaduje citaci ]}

Formuláře objektového jazyka

Formální jazyky

Matematická logika a lingvistika využívají metajazyky, což jsou jazyky, které popisují povahu jiných jazyků. V matematické logice je objektový jazyk normálně formální jazyk . Jazyk, který metajazyk popisuje, je objektový jazyk. Říká se tomu tak, protože jazyk je objekt, o kterém se diskutuje pomocí metajazyka.

Například někdo, kdo říká „Ve francouzštině říkáte Bonjour , abyste někoho pozdravili“, používá španělštinu jako metajazyk k popisu francouzštiny .

Počítačové jazyky

Existují dva způsoby, jak může být termín objektový jazyk použit ve výpočetní technice: jazyk, který je předmětem formální specifikace, a jazyk, který je objektem nebo cílem kompilátoru nebo tlumočníka.

Formální specifikace

Programovací jazyky jsou objektové jazyky metajazyka, ve kterém je napsána jejich specifikace . V informatice se tomu říká jazyk specifikace . Notace Backus-Naur byla jedním z prvních specifikačních jazyků.

Když jsou kompilátory napsány pomocí systémů jako lex a Yacc , pravidla, která programátor píše, vypadají jako formální specifikace, ale místo toho se považují za implementaci . Mnoho implementací programovacích jazyků není striktně stejných jako jejich specifikace, přidávají funkce nebo činí rozhodnutí o návrhu nezávislá na implementaci.

Kód objektu

Počítače na své nejzákladnější úrovni jednají podle toho, co jim je dáno prostřednictvím omezené sady instrukcí, kterým jejich CPU rozumí. Na prvních počítačích to znamenalo, že programátoři začali programovat přímo pomocí binárního kódu. Protože to vyžaduje cvik a hodně trpělivosti, vynaložily pozdější programovací jazyky velké úsilí na zjednodušení práce programátora. Například vysokoúrovňový programovací jazyk umožňuje programátorovi přiřadit hodnotu proměnné bez zadání adresy paměti nebo instrukce CPU.

V tomto kontextu je vysokoúrovňový programovací jazyk zdrojovým jazykem , který je překladačem přeložen do objektového kódu , který může CPU číst přímo. Tento objektový kód bude objektovým jazykem a bude se lišit v závislosti na tom, který CPU přijímá instrukce.

Objektový jazyk v tomto kontextu znamená něco jako „čeho se programátor snaží dosáhnout“. Pokud jsou zdrojové a objektové jazyky považovány za formální jazyky, kompilátor interpretuje zdrojový jazyk do cílového jazyka.

Objektový jazyk je v tomto kontextu synonymem cílového jazyka . Cílovým jazykem překladu je obvykle strojový jazyk , ale může být i jiného typu, jako je jazyk symbolických instrukcí .

Protože objektový jazyk kompilátoru je obvykle strojový jazyk, termín objektový soubor znamená soubor obsahující strojové instrukce a někdy se přeložený program jednoduše nazývá objekt .

Objektový jazyk by se neměl zaměňovat s objektově orientovaným jazykem , což je typ programovacího jazyka , který organizuje programátorovo prostředí do objektů, které lze použít podobným způsobem přetahování .

Výrazy v objektovém jazyce

Symboly

Symbol je myšlenka , abstrakce , koncept nebo typ , u nichž mohou existovat značky nebo konfigurace značek, které tvoří určitý vzor. Běžně používaný termín symbol se vztahuje k symbolizaci myšlenky, ačkoli ve formálním jazyce studovaném v matematice a logice termín symbol symbol odkazuje na myšlenku a značky jsou považovány za specifický případ symbolu.

Vzorce

Ve formálních jazycích používaných v matematické a počítačové logice je dobře vytvořený vzorec nebo vzorec myšlenka , abstrakce nebo koncept vyjádřený pomocí symbolů a pravidel formulace (také nazývané formální gramatika ) konkrétního formálního jazyka. Říci, že řetězec symbolů je dobře vytvořený vzorec s ohledem na danou gramatiku, je ekvivalentní tvrzení, že patří do jazyka generovaného . $Ano$$G$$Ano$$G$

Formální systém

Formální systém je spojení formálního jazyka a deduktivního systému sestávajícího ze souboru inferenčních pravidel a/nebo axiomů . Formální systém se používá k získání výrazů z výrazu (výrazů) dříve v systému. Tyto výrazy se nazývají axiomy pro ty, které byly považovány za pravdivé, a teorémy pro ty, které byly odvozeny. Formální systém může být formulován a studován pro jeho vnitřní vlastnosti, nebo může být podán jako popis vnějších jevů.

Věty

Věta je symbol nebo řetězec symbolů, který je získán pomocí formálního systému . Řetězec symbolů je logickým důsledkem axiomů a pravidel vyvozování systému

Formální testy

Formální důkaz nebo původ je konečná posloupnost výroků ( ve formálním jazyce nazývaných dobře vytvořené formule ), z nichž každý je axiom nebo je odvozen z jiných vět. Poslední příkaz v posloupnosti je formální věta nebo systém . Pojem přirozené dedukce je zobecněním pojmu důkaz. ]

teorie

Teorie je soubor prohlášení ve formálním jazyce .