• Što je formalni jezik?
• Primjeri formalnih jezika

Objašnjavamo što su formalni jezici, njihove karakteristike, primjere i vrste. Također, njegove razlike s prirodnim jezicima.

Formalni jezik organiziran je ograničenim skupom pravila kombinacije.

Što je formalni jezik?

U računalstvo i informacijska znanost, kada govorimo o formalnom jeziku za razliku od prirodnih jezika, mislimo na one sustave znakovi obdaren primitivnim simbolima i formalno specificiranim sustavom pravila korištenja, odnosno obdaren a abeceda i od a gramatika (ili sintaksa) formalno:

• Pod abecedom se podrazumijeva konačan i neprazan skup primitivnih simbola.
• Pod formalnom gramatikom podrazumijeva se konačan skup pravila kombinacije navedene abecede za formiranje konačnih lanaca sa specifičnim značenjem.

Po tome se razlikuje od prirodnih jezika, nastalih oko ljudske potrebe za komunikacijom, u kojima su pravila složena i višeznačna, a značenje ovisi o interpretaciji jezičnih znakova. Zbog toga su prirodni jezici beskrajno složeniji od čitanja formalnog jezika čije pravila one su konačne i unaprijed utvrđene.

Formalni jezici su važni za svijet matematike i od računalstvo, budući da nam omogućuju stvaranje kodovi komunikacija između ljudi i strojeva, tj programiranje. Ne trebamo brkati formalne jezike s formalnom razinom jezika ili s formalni jezik, što je formalna, uljudna i formalna upotreba verbalnog jezika, za razliku od njegove uporabe kolokvijalni, raščupan i neformalni.

Prema američkom lingvistu Noamu Chomskyju (1928-), formalni jezici se mogu razvrstati u četiri tipa:

• Tip 3: regularni jezici opremljeni regularnim gramatikama, odnosno sustavima pravila koji se mogu dobiti regularnim izrazima i koji omogućuju dobivanje svih mogućih nizova simbola.
• Tip 2: nekontekstualni jezici opremljeni nekontekstualnim gramatikama, odnosno omogućuju dobivanje svih mogućih nizova simbola, ali na mnogo višoj razini složenosti od uobičajenih.
• Tip 1: kontekstualni jezici opremljeni kontekstualnim gramatikama, odnosno koji omogućuju dobivanje nizova zavisnih simbola, kako njihov naziv govori, kontekst.
• Tip 0: slobodni jezici opremljeni slobodnim gramatikama, bez ograničenja, što proizvodi rekurzivno nabrojive jezike.

Primjeri formalnih jezika

Primjeri formalnih jezika su:

• The programski jezici s kojim se softver.
• Igra šaha, čije su figure ograničene, a pokreti su unaprijed opisani.
• Morseov kod, koji kroz kratke i duge znakove sastavlja riječi Y cijelih brojeva.
• Vlastiti logika simbolički čini formalni jezik.