• Čo je to formálny jazyk?
• Príklady formálnych jazykov

Vysvetľujeme, čo sú formálne jazyky, ich vlastnosti, príklady a typy. Tiež jeho rozdiely s prirodzenými jazykmi.

Formálny jazyk je organizovaný obmedzeným súborom kombinačných pravidiel.

Čo je to formálny jazyk?

In výpočtový a informačná veda, keď hovoríme o formálnom jazyku na rozdiel od prirodzených jazykov, hovoríme o týchto systémoch znamenia obdarený primitívnymi symbolmi a formálne špecifikovaným systémom pravidiel používania, teda obdarený abeceda a z a gramatika (alebo syntax) formálne:

• Abecedou sa rozumie konečná a neprázdna množina primitívnych symbolov.
• Formálnou gramatikou sa rozumie konečný súbor kombinačných pravidiel uvedenej abecedy na vytvorenie konečných reťazcov so špecifickým významom.

V tomto sa líši od prirodzených jazykov, ktoré vznikli okolo ľudskej potreby komunikovať, v ktorých sú pravidlá zložité a nejednoznačné a ich význam závisí od interpretácie. jazykové znaky. Z tohto dôvodu sú prirodzené jazyky nekonečne zložitejšie ako čítanie formálneho jazyka, ktorého pravidlá sú konečné a vopred stanovené.

Formálne jazyky sú dôležité pre svet matematika a z výpočtový, keďže nám umožňujú vytvárať kódy komunikácia medzi ľuďmi a strojmi, teda programovanie. Nemali by sme si zamieňať formálne jazyky s formálnou úrovňou jazyka alebo s formálny jazyk, čo je formálne, zdvorilé a formálne používanie verbálneho jazyka, na rozdiel od jeho používania hovorový, strapatý a neformálne.

Podľa amerického lingvistu Noama Chomského (1928-) možno formálne jazyky rozdeliť do štyroch typov:

• Typ 3: regulárne jazyky vybavené regulárnymi gramatikami, to znamená systémami pravidiel, ktoré možno získať regulárnymi výrazmi a ktoré umožňujú získať všetky možné reťazce symbolov.
• Typ 2: nekontextové jazyky vybavené nekontextovými gramatikami, to znamená, že umožňujú získať všetky možné reťazce symbolov, ale na oveľa vyššej úrovni zložitosti ako bežné.
• Typ 1: kontextové jazyky vybavené kontextovými gramatikami, to znamená, ktoré umožňujú získať reťazce závislých symbolov, ako naznačuje ich názov, kontext.
• Typ 0: slobodné jazyky vybavené voľnými gramatikami bez obmedzení, ktoré vytvárajú rekurzívne spočítateľné jazyky.

Príklady formálnych jazykov

Príklady formálnych jazykov sú:

• The programovacie jazyky s ktorým sa softvér.
• Šachová hra, ktorej figúrky sú obmedzené a pohyby sú vopred opísané.
• Morseova abeceda, ktorá prostredníctvom krátkych a dlhých znakov skladá slová Y celé čísla.
• vlastné logika symbolika predstavuje formálny jazyk.