• Co je to formální jazyk?
• Příklady formálních jazyků

Vysvětlíme, co jsou formální jazyky, jejich vlastnosti, příklady a typy. Také jeho odlišnosti od přirozených jazyků.

Formální jazyk je organizován omezeným souborem kombinačních pravidel.

Co je to formální jazyk?

v výpočetní a informační věda, když odkazujeme na formální jazyk na rozdíl od přirozených jazyků, odkazujeme na tyto systémy znamení obdařen primitivními symboly a formálně stanoveným systémem pravidel používání, tedy obdařen abeceda a gramatika (nebo syntax) formální:

• Abecedou se rozumí konečná a neprázdná množina primitivních symbolů.
• Formální gramatikou se rozumí konečná množina kombinačních pravidel uvedené abecedy pro vytvoření konečných řetězců se specifickým významem.

V tom se liší od přirozených jazyků, vzniklých kolem lidské potřeby komunikovat, v nichž jsou pravidla složitá a nejednoznačná a význam závisí na výkladu jazykové znaky. Z tohoto důvodu jsou přirozené jazyky nekonečně složitější než čtení formálního jazyka, jehož pravidla jsou konečné a předem stanovené.

Formální jazyky jsou pro svět důležité matematika a z výpočetní, protože nám umožňují vytvářet kódy komunikace mezi lidmi a stroji, tj programování. Neměli bychom zaměňovat formální jazyky s formální úrovní jazyka nebo s formální jazyk, což je formální, zdvořilé a formální použití verbálního jazyka, na rozdíl od jeho použití hovorový, rozcuchaný a neformální.

Podle amerického lingvisty Noama Chomského (1928-) lze formální jazyky rozdělit do čtyř typů:

• Typ 3: regulární jazyky vybavené regulárními gramatikami, tedy systémy pravidel, které lze získat regulárními výrazy a které umožňují získat všechny možné řetězce symbolů.
• Typ 2: nekontextové jazyky vybavené nekontextovými gramatikami, to znamená, že umožňují získat všechny možné řetězce symbolů, ale na mnohem vyšší úrovni složitosti než ty běžné.
• Typ 1: kontextové jazyky vybavené kontextovými gramatikami, to znamená, které umožňují získat řetězce závislých symbolů, jak naznačuje jejich název, kontext.
• Typ 0: svobodné jazyky vybavené volnou gramatikou bez omezení, které vytváří rekurzivně spočetné jazyky.

Příklady formálních jazyků

Příklady formálních jazyků jsou:

• The programovací jazyky se kterým se software.
• Šachová hra, jejíž figurky jsou omezené a pohyby předem popsané.
• Morseova abeceda, která prostřednictvím krátkých a dlouhých znaků skládá slova Y celá čísla.
• Vlastní logika symbolika tvoří formální jazyk.