• Kaj je formalni jezik?
• Primeri formalnih jezikov

Pojasnimo, kaj so formalni jeziki, njihove značilnosti, primere in vrste. Tudi njegove razlike z naravnimi jeziki.

Formalni jezik je organiziran z omejenim naborom kombinacijskih pravil.

Kaj je formalni jezik?

V računalništvo in informacijska znanost, ko govorimo o formalnem jeziku v nasprotju z naravnimi jeziki, govorimo o tistih sistemih znaki obdarjen s primitivnimi simboli in formalno določenim sistemom pravil uporabe, torej obdarjen z a abeceda in od a slovnica (oz sintakso) formalno:

• Abeceda je končna in neprazna množica primitivnih simbolov.
• Formalno slovnico razumemo kot končno množico kombinacijskih pravil omenjene abecede, ki tvorijo končne verige s posebnim pomenom.

V tem se razlikuje od naravnih jezikov, ki so nastali zaradi človeške potrebe po sporazumevanju, v katerih so pravila zapletena in dvoumna, pomen pa je odvisen od interpretacije jezikovni znaki. Zaradi tega so naravni jeziki neskončno bolj zapleteni kot branje formalnega jezika, katerega pravila so končni in vnaprej določeni.

Uradni jeziki so pomembni za svet matematika in od računalništvo, saj nam omogočajo ustvarjanje kode komunikacija med ljudmi in stroji, tj programiranje. Formalnih jezikov ne smemo zamenjevati s formalno ravnjo jezika ali z formalni jezik, kar je formalna, vljudna in formalna uporaba besednega jezika v nasprotju z njegovo uporabo pogovorno, razmršen in neformalno.

Po mnenju ameriškega jezikoslovca Noama Chomskyja (1928-) lahko formalne jezike razvrstimo v štiri vrste:

• Tip 3: navadni jeziki, opremljeni z regularnimi slovnicami, to je s sistemi pravil, ki jih je mogoče pridobiti z regularnimi izrazi in ki omogočajo pridobitev vseh možnih nizov simbolov.
• Tip 2: nekontekstualni jeziki, opremljeni z nekontekstualnimi slovnicami, to pomeni, da omogočajo pridobivanje vseh možnih nizov simbolov, vendar na veliko višji ravni kompleksnosti kot običajni.
• Tip 1: kontekstualni jeziki, opremljeni s kontekstualnimi slovnicami, to je, ki omogočajo pridobivanje nizov odvisnih simbolov, kot pove njihovo ime, kontekstu.
• Tip 0: prosti jeziki, opremljeni s prostimi slovnicami, brez omejitev, ki proizvajajo rekurzivno naštete jezike.

Primeri formalnih jezikov

Primeri formalnih jezikov so:

• The programskih jezikov s katerim se programsko opremo.
• Igra šaha, katere figure so omejene in gibi opisani vnaprej.
• Morsejeva abeceda, ki s kratkimi in dolgimi znaki sestavlja besede Y cela števila.
• Lastna logika simbolno predstavlja formalni jezik.