• Kas yra formali kalba?
• Formalių kalbų pavyzdžiai

Mes paaiškiname, kas yra formalios kalbos, jų ypatybės, pavyzdžiai ir rūšys. Taip pat jo skirtumai su natūraliomis kalbomis.

Oficiali kalba yra sutvarkyta pagal ribotą derinimo taisyklių rinkinį.

Kas yra formali kalba?

Į kompiuterija ir informacijos mokslas, kai kalbame apie formalią kalbą, o ne į natūralias kalbas, mes kalbame apie tas sistemas ženklai aprūpinta primityviais simboliais ir formaliai nurodyta naudojimo taisyklių sistema, tai yra abėcėlė ir iš a gramatika (arba sintaksė) formalus:

• Abėcėlė suprantama kaip baigtinis ir netuščias primityvių simbolių rinkinys.
• Formalioji gramatika suprantama kaip baigtinis minėtos abėcėlės derinimo taisyklių rinkinys, suformuojantis baigtines tam tikrą reikšmę turinčias grandines.

Tuo ji skiriasi nuo natūralių kalbų, kylančių dėl žmogaus poreikio bendrauti, kurių taisyklės yra sudėtingos ir dviprasmiškos, o reikšmė priklauso nuo kalbos aiškinimo. kalbiniai ženklai. Dėl šios priežasties natūralios kalbos yra be galo sudėtingesnės nei formalios kalbos skaitymas taisykles jos yra baigtinės ir nustatytos iš anksto.

Oficialios kalbos yra svarbios pasauliui matematika ir iš kompiuterija, nes jie leidžia mums kurti kodai bendravimas tarp žmonių ir mašinų, tai yra programavimas. Neturėtume painioti formalių kalbų su formaliuoju kalbos lygiu ar su formalią kalbą, kuris yra formalus, mandagus ir formalus žodinės kalbos vartojimas, priešingai jo vartojimui šnekamoji kalba, suplyšęs ir neformalus.

Pasak amerikiečių kalbininko Noamo Chomsky (1928-), formaliąsias kalbas galima suskirstyti į keturis tipus:

• 3 tipas: įprastos kalbos, aprūpintos įprastomis gramatikomis, tai yra su taisyklių sistemomis, kurias galima gauti naudojant reguliariąsias išraiškas ir kurios leidžia gauti visas įmanomas simbolių eilutes.
• 2 tipas: nekontekstinės kalbos, aprūpintos ne kontekstine gramatika, tai yra, jos leidžia gauti visas įmanomas simbolių eilutes, tačiau daug sudėtingesniu nei įprastos.
• 1 tipas: kontekstinės kalbos, aprūpintos kontekstine gramatika, tai yra, leidžiančios gauti priklausomų simbolių eilutes, kaip rodo jų pavadinimas. kontekste.
• 0 tipas: laisvos kalbos, turinčios laisvą gramatiką, be apribojimų, kurios sukuria rekursyviai suskaičiuojamas kalbas.

Formalių kalbų pavyzdžiai

Oficialių kalbų pavyzdžiai:

• The programavimo kalbos su kuria programinė įranga.
• Šachmatų žaidimas, kurio figūros yra ribotos ir judesiai aprašyti iš anksto.
• Morzės kodas, kurį sudaro trumpieji ir ilgieji ženklai žodžius Y sveikieji skaičiai.
• Savo logika simbolinė yra formali kalba.