Elmagyarázzuk, mik azok a formális nyelvek, jellemzőik, példák és típusok. Valamint különbségei a természetes nyelvekhez képest.
Mi az a formális nyelv?
Ban ben számítástechnika és az információtudomány, amikor egy formális nyelvre hivatkozunk a természetes nyelvekkel szemben, akkor azokra a rendszerekre utalunk jelek primitív szimbólumokkal és formálisan meghatározott használati szabályrendszerrel felruházva, azaz ábécé és a nyelvtan (vagy szintaxis) formális:
- Az ábécé a primitív szimbólumok véges és nem üres halmaza.
- A formális nyelvtan az említett ábécé kombinációs szabályainak véges halmaza, amely meghatározott jelentésű véges láncokat alkot.
Ebben különbözik a természetes nyelvektől, amelyek az emberi kommunikációs igény körül keletkeztek, amelyekben a szabályok összetettek és kétértelműek, a jelentés pedig a nyelv értelmezésétől függ. nyelvi jelek. Emiatt a természetes nyelvek végtelenül összetettebbek, mint egy formális nyelv olvasata szabályokat végesek és előre megállapítottak.
A formális nyelvek fontosak a világ számára matematika és a számítástechnika, hiszen lehetővé teszik számunkra, hogy alkossunk kódokat az emberek és a gépek közötti kommunikáció, vagyis a programozás. Nem szabad összetéveszteni a formális nyelveket a nyelv formális szintjével vagy a Hivatalos nyelv, amely a verbális nyelv formális, udvarias és formális használata, szemben a használatával köznyelvi, kócos és informális.
Noam Chomsky (1928-) amerikai nyelvész szerint a formális nyelvek négy típusba sorolhatók:
- 3. típus: reguláris nyelvtanokkal felruházott reguláris nyelvek, vagyis olyan szabályrendszerekkel, amelyeket reguláris kifejezésekkel lehet megszerezni, és amelyek lehetővé teszik az összes lehetséges szimbólumsor beszerzését.
- 2. típus: nem kontextuális nyelvek, amelyek nem kontextuális nyelvtanokkal vannak felszerelve, azaz lehetővé teszik az összes lehetséges szimbólumsor megszerzését, de sokkal bonyolultabb, mint a normál nyelvek.
- 1. típus: olyan kontextuális nyelvek, amelyek kontextuális nyelvtanokkal vannak felszerelve, vagyis amelyek lehetővé teszik a függő szimbólumokból álló karakterláncok beszerzését, amint azt a nevük is mutatja. kontextus.
- 0. típus: szabad nyelvek, korlátozások nélkül, szabad nyelvtanokkal, amelyek rekurzívan felsorolható nyelveket hoznak létre.
Példák formális nyelvekre
Példák a formális nyelvekre:
- A programozási nyelvek amellyel a szoftver.
- A sakkjátszma, amelynek bábui korlátozottak és mozgásai előre le vannak írva.
- Morse kód, amely rövid és hosszú jeleken keresztül alkot szavak Y egész számok.
- Saját logika a szimbolikus formális nyelvet alkot.