Čo formálnych jazykov možno pripísať? príklady použitia

Aký je formálny jazyk a ako sa líši od prirodzenej? Ako to vzniklo? Čo formálnych jazykov možno pripísať? A je používaný odkazovať sa na neho?

Charakteristika formálnych jazykov

Takže hovoríme skupinu umelých jazykov, ktoré sa vyznačujú presnými pravidlami, pokiaľ ide o výstavbu výrazov, ako aj ich porozumenie. systémy používané na priemyselné účely možno pripísať formálnych jazykov. Sú postavené v súlade s jasnými pravidlami, poskytovať konzistentné, kompaktný a presné zobrazenie vlastností a vzťahov študovaného oblasť alebo modelovaných objektov. Hodnota a význam značiek nemožno zmeniť žiadnymi pragmatických rysov (použitie kontextu). To je možné vďaka prítomnosti vo formálnom jazyku pravidiel prepočtu syntaktické a sémantické interpretácie. Oni sú často stavané používať ako základ matematiky. Vzhľadom k tomu, že na celom rozpätí vývoja, používal rad symbolických označenie boli použité pre rôzne pojmy a objektov. To je to, čo je potrebné formálne jazyky. Môžu výrazne znížiť dáta. Predtým spolu s formálnymi a prirodzenými jazyky boli použité, ale s postupným komplikácie subjektu a na základe nutnosti dosiahnuť prísnu logickú analýzu matematického uvažovania, bolo rozhodnuté opustiť minulosť. Tento proces trval od XVII storočia XX. Jedná sa o posledný storočia je považovaná za najplodnejšie z hľadiska formálnych jazykov. rôzne špeciálne vetvy boli vytvorené. Takže pre počítačové vedy majú osobitný význam programovacích jazykov a algebry logiky, a to nielen teoretické, ale aj z praktického hľadiska.

definícia

Čo formálnych jazykov možno pripísať už máme stručne vysvetliť. Ale čo môžeme povedať o nich? Formálny jazyk je uvedené veľa rôznych definícií. Aby im vypísať všetky, bude to nechať veľa času, takže sa pozrieť na najpopulárnejšie:

1. Jednoduchý zoznam slov v jazyku - zvyčajne to tak povedať, pokiaľ ide o konečné typu konštrukcie ao tých, ktoré majú jednoduchú štruktúru.
2. Slová generované určité formálne gramatiky.
3. Štruktúra vytvorená regulárnych výrazov.
4. Slová generované BPF-design.
5. Štruktúra, rozpoznateľný konečný automat.

Pozrime sa na príklad. Povedzme, že máme celú abecedu, daný dve čísla 1 a 0. Ak chcete zobraziť písmeno "O", využívame kombinácia 1010001. Jedná sa o využitie formálny jazyk. Je tiež možné používať prázdne slová (ak reťazec má nulovú dĺžku, a nie je nič) so špeciálnym označením v podobe poznáme. Ale bližšie k pochopeniu toho, čo je formálny jazyk, pomáhajú 4 príklady, ktoré budú uvedené ďalej. Čo to robí? K porozumenie čitateľa bolo, že formálny jazyk možno pripísať. Ale trochu viac o tom, ako sú vytvorené.

Výstavba formálnych jazykov

Každý jazyk je formálna štruktúra, ktorá bola vytvorená raz niekto. Oni sú zvyčajne postavené na rovnakom modeli:

1. Ak chcete začať, vyberte abecedu, alebo nejaký súbor špecifických znakov, ktoré bude postavený a výrazy používané v tomto jazyku. Formálnym jazykom je nejaký spôsob, ako programovať pomocou počítača.
2. Popisuje syntax, teda vlastnosti a pravidlá, ktoré budú vychádzať zmysluplné vety.
3. O niektorých pravidiel pre slov a výrazov. Tu platí pravidlo: všetky sled písmen musí byť schopní počítať slová.

Formálnym jazyku sa vzťahuje na akékoľvek štruktúre, ktorá má jasné pravidlá - je potrebné mať na pamäti. Pri stavbe, tam sú niektoré funkcie. To znamená, že pojem "znak" je veľmi multi-funkčné, pokiaľ ide o význame, takže vo väčšine prípadov používa termín ako "písmeno". Ale pod nimi možno chápať nielen obvyklú notáciu pre nás, ale aj držiaky, špeciálne znaky a ďalšie. To sa vzťahuje iba na formálnych jazykov.

Príklady uskutočnenia vynálezu Príklad 1

Začnime s 1 a 0. V takom prípade použite viac poňatie "pojmu" a "formula." Prvá sa chová ako analóg objektu a názov sa používa pre označenie niečo konkrétne. Po prvé pochopiť konštanty a jednotlivé ukazovatele pod nimi. Z nich potom stavať zložitejšie štruktúry, ktorá sa používa použité v niektorých jazykových funkcií. V súlade s podmienkami skupiny pochopiť vzorec, ktorého použitie v určitom programovacom jazyku je to možné. Tento "návod" budú spracované, a osoba získať požadovaný výsledok.

Príklad 2

Zoberme si príklad logiky, v ktorom panuje inverzie (¬), disjunkcia (∧), konjunkcia (∨) a implikácie (⇒) a niekoľko ďalších. V takom záznamu záberov môže podávať ako:

1. A;
2. A∧V ⇒ ¬A
3. ¬ (A∨¬S)

Ako znaky A, B, C, nahradiť premenné a dostanete logických operácií. Kde predložiť žiadosť formálne jazyky tohto typu? Rozšírené používanie takéhoto mechanizmu možno nájsť v programovacích jazykov, matematiky, vzťahy, logické a matematické funkcie, alebo ich časti, ktoré boli popísané programátorom.

Príklad 3

Pozrime sa na zložitejších logických vzorcov:

¬ (A∨¬S) ⇔ ¬A∧S = 1

To je dôvod, prečo potrebujeme formálnych jazykov. Predstavte si, čo by sa stalo, keby to bolo popisované v slovách? Teraz, na základe vzorca odvodíme závery. Zmysluplné výrazy môžu byť získané vo formálnom jazyku len vtedy, ak sú určité pravidlá dodržiavajú pre-vznik, zmenu a "porozumenie" zo vzorcov a podmienok, z ktorých sú vyrobené:

1. Stavebné dlhodobé vzorce a;
2. Štúdium sémantického hľadiska a interpretácie;
3. Sekvencia jedného zo vzorcov a iným termínom.

Každé formálny jazyk by mal byť dobre zavedeným súborom pravidiel.

Príklad 4

Vzhľadom k prítomnosti v pravidlách výstupu syntaxe jazyka pre termíny a formúl môže byť vyrobený isomorphic modelov transformácie. Takže to bude vykonané nielen odrazu (reprezentáciu) špecifický súbor vedomostí, ktoré už existujú, ale môžu prijímať nové informácie. Okrem toho je transformácia, aj keď, a bude prebiehať podľa jasných a prísnych pravidiel, to môže byť automatizovaný. Podobné metódy sa používajú v expertných systémov, databáz znalostí a produkty pre podporu rozhodovania softvér.

záver

Formálne jazyky sú široko používané vo vede, a to najmä v oblasti techniky. V priebehu vedeckého výskumu a vykonávanie praktických činností, ktoré môžu komunikovať s prirodzeným vzhľadom k značnej výrazové schopnosti daného členského štátu. Zatiaľ formálne jazyky môžu presnejšie sprostredkovať vedomosti a vykonávať objektívne výmena informácií nahromadené ľudstvom.