Formální jazyky: příklady. Známky formálního jazyka

21. století je doba, kdy je získávání informací nejdůležitější konkurenční výhodou v jakékoli oblasti. Nicméně, to není k ničemu, pokud není vyjádřen v jazyce srozumitelném pro ty, kdo navrhl, či nikoli tlumočníka je schopen zprostředkovat jeho smysl pro příjemce.

V současné době žije asi 2 000 lidí na zemi. Jejich charakteristickým prvkem je především jazyk.

Spolu s hovorovým (přirozeným) lidstvem vytvořil mnoho umělých jazyků. Každý z nich je určen k řešení konkrétních problémů.

Takové systémy znamení zahrnují formální jazyky, jejichž příklady jsou uvedeny níže.

Definice

Nejdříve formulujeme, co je jazyk. Tímto slovem je obvyklé pochopit systém znamení, který se používá k vytvoření komunikace mezi lidmi a poznáním.

Základem většiny umělých i přirozených jazyků je abeceda.

Jedná se o soubor symbolů používaných k psaní slov a frází.

Jazyk je charakterizován:

• soubor použitých označení;
• pravidla pro sestavení z nich "slov", "frází" a "textů";
• soubor pravidel (syntaktické, pragmatické a sémantické) použití kompilovaných konstrukcí.

Charakteristika přirozených jazyků

Jak již bylo řečeno, všechny jazyky jsou podmíněně rozděleny na umělé a přirozené. Mezi nimi existuje mnoho rozdílů.

Mluvící jazyky jsou přirozené. Mezi jejich charakteristiky patří mimo jiné:

• nejednoznačnost většiny slov;
• existence synonym a homonym;
• přítomnost několika jmen ve stejném předmětu;
• Existence výjimek z téměř všech pravidel.

Všechny tyto vlastnosti jsou hlavními rozdíly mezi přirozenými signalizačními systémy a formálními jazyky. Příklady nejednoznačností slov a výpovědí jsou známy všem. Takže slovo "éter" může v závislosti na kontextu znamenat jak látku, tak rozhlasové nebo televizní vysílání.

Hlavní funkce mluveného jazyka jsou:

• komunikace;
• kognitivní aktivita;
• vyjádření emocí;
• dopad na účastníka jednání (korespondent, pokud jde o korespondenci).

Charakteristika umělých jazyků

Umělé jazyky vytvářejí lidé pro zvláštní účely nebo pro určité skupiny lidí.

Jednou z hlavních charakteristik umělých jazyků je jednoznačná jistota jejich slovní zásoby, stejně jako pravidla, která jim dávají smysl a formování výrazů.

Formální jazyky a gramatiky

Jazyk, bez ohledu na to, zda je přirozený a umělý, může existovat pouze za přítomnosti souboru specifických pravidel. Současně musí být zajištěno konzistentní, kompaktní a přesné mapování vztahů a vlastností předmětu studovaného oboru. Jsou-li striktně formulovány, pak to říkají je to formální jazyku. Příklady takových signovacích systémů jsou programovací jazyky, ačkoli, přísně řečeno, spíše zaujímají nějakou mezilehlou pozici (viz níže).

Schéma pro vytváření systémů formálních podpisů je následující:

• je vybrána abeceda (sbírka originálních symbolů);
• jsou uvedeny pravidla pro vytváření výrazů (syntaxe) jazyka.

Rozsah aplikace

Formální jazyky (příklady: jazyky logika, programování apod.) jsou používány v procesu vědeckého výzkumu. Jsou lepší než přirozené reprezentovat znalosti a jsou prostředkem objektivnější a přesnější výměny informací.

Formální jazyky zahrnují všechny známé systémy matematických a chemických symbolů, kód Morse, hudební notaci atd.

Kromě toho jsou formálně používané formální jazyky. Jejich rychlý vývoj začal v polovině 20. století v souvislosti s příchodem počítačové techniky.

Jazyk formální logiky

Jádrem libovolného programovacího jazyka je matematika. To na druhé straně spočívá na znakovém systému formální logiky.

Jako věda byla logika vytvořena Aristotelem. Vyvinul také pravidla pro přeměnu výroků, která zachovávají jejich hodnotu pravdy, bez ohledu na obsah pojmů, které vstupují do těchto slov.

Formální logická boje s "nedostatky" přirozených jazyků spojené s nejednoznačností některých výroků atd. Za tímto účelem jsou operace s myšlenkami nahrazeny akcemi s náznaky formálního jazyka. To eliminuje nejistotu a umožňuje přesně určit pravdivost výkazu.

Vlastnosti programovacích jazyků

Jak již bylo řečeno, mohou být považovány za formální s některými výhradami.

S touto metodou je spojeno mnoho syntaktických pravidel a některé přirozené klíčová slova a konstrukce.

Chcete-li vytvořit programovací jazyk, musíte definovat soubor platných znaků a správných jazykových programů a význam každého správného programu. Pokud první úkol lze zvládnout formalizací, v případě druhého z nich tyto přístupy nefungují.

Sada přípustných symbolů programovacích jazyků jsou znaky, které lze zadat z klávesnice. Představují první část tabulky kódování ASCII.

Gramatiky

Programovací jazyky, jako každý jiný, mají gramatiku. Tímto pojmem rozumíme popis způsobu předkládání návrhů. Gramatiky jsou popsány různými způsoby. V případě programovacích jazyků jsou pravidla, která jsou definována objednané páry strun symbolů dvou typů: definované syntaxe a sémantiky omezení. Ptá gramatiky, nejprve formálně stanovit pravidla pro konstrukci syntaxe, a pak - sémantického jeden z přirozených jazyků.

Pravidla jsou graficky zaznamenávána pomocí speciálních diagramů. Zpočátku byl tento přístup použit při vytváření Pascalu. Nicméně, to se stalo široce používané v jiných.

Klasifikace programovacích jazyků

V současné době existuje několik tisíc, spolu s "dialekty". Jsou klasifikovány jako procedurální a deklarující. V jazycích prvního typu je transformace dat určena popisem posloupnosti provedených akcí, druhých vztahů. Existují i ​​další klasifikace. Například programovací jazyky jsou rozděleny do funkčních, procedurálních, objektově orientovaných a logických. Pokud budeme přísně přistupovat k otázce, nemůže být žádná klasifikace objektivní. Koneckonců, významná část programovacích jazyků má schopnosti formálních systémů několika typů najednou. Časem se hrany pravděpodobně opotřebovávají ještě víc.

Nyní můžete odpovědět na otázku: "Jaké formální jazyky znáte?". Vědci je nadále zlepšují, aby bylo možné vyřešit různé praktické a teoretické problémy, které jsou v současné době považovány za nerozpustné.