Selgitame, mis on formaalsed keeled, nende omadused, näited ja tüübid. Samuti selle erinevused loomulike keeltega.
Mis on ametlik keel?
sisse andmetöötlus ja infoteadus, kui me viitame formaalsele keelele vastandina loomulikele keeltele, siis me viitame nendele süsteemidele märgid varustatud primitiivsete sümbolite ja formaalselt määratletud kasutusreeglite süsteemiga, st varustatud tähestik ja a grammatika (või süntaks) ametlik:
- Tähestiku all mõistetakse primitiivsete sümbolite lõplikku ja mittetühja komplekti.
- Formaalse grammatika all mõistetakse nimetatud tähestiku kombineerimisreeglite lõplikku kogumit, et moodustada kindla tähendusega piiratud ahelaid.
Selle poolest erineb see loomulikest keeltest, mis tulenevad inimese suhtlemisvajadusest, mille reeglid on keerulised ja mitmetähenduslikud ning mille tähendus sõltub keele tõlgendusest. keelelised märgid. Sel põhjusel on loomulikud keeled lõpmatult keerulisemad kui formaalse keele lugemine, mille reeglid need on piiratud ja eelnevalt kindlaks määratud.
Ametlikud keeled on maailma jaoks olulised matemaatika ja andmetöötlus, kuna need võimaldavad meil luua koodid inimeste ja masinate vaheline suhtlus, see tähendab programmeerimine. Me ei tohiks segi ajada formaalseid keeli keele formaalse tasemega ega keele formaalse tasemega ametlik keel, mis on verbaalse keele formaalne, viisakas ja formaalne kasutamine, vastandina selle kasutamisele kõnekeel, sasitud ja mitteametlik.
Ameerika keeleteadlase Noam Chomsky (1928-) sõnul võib ametlikke keeli jagada nelja tüüpi:
- Tüüp 3: regulaarsed keeled, mis on varustatud tavaliste grammatikatega, st reeglisüsteemidega, mida saab saada regulaaravaldiste abil ja mis võimaldavad saada kõiki võimalikke sümboli stringe.
- Tüüp 2: mittekontekstuaalsed keeled, mis on varustatud mittekontekstuaalsete grammatikatega, see tähendab, et need võimaldavad hankida kõik võimalikud sümbolid, kuid palju suurema keerukusastmega kui tavalised.
- Tüüp 1: kontekstuaalsed keeled, mis on varustatud kontekstuaalsete grammatikatega, st mis võimaldavad hankida sõltuvate sümbolite stringe, nagu nende nimigi viitab. kontekst.
- Tüüp 0: vabad keeled, mis on varustatud vaba grammatikaga, ilma piiranguteta, mis toodab rekursiivselt loendatavaid keeli.
Ametlike keelte näited
Ametlike keelte näited on:
- The programmeerimiskeeled millega tarkvara.
- Malemäng, mille nupud on piiratud ja liigutused eelnevalt kirjeldatud.
- Morsekood, mis koostab lühikeste ja pikkade märkide kaudu sõnad Y täisarvud.
- Omad loogika sümboolne moodustab formaalse keele.