Selitämme, mitä muodolliset kielet ovat, niiden ominaisuuksia, esimerkkejä ja tyyppejä. Myös sen erot luonnollisiin kieliin.
Mikä on muodollinen kieli?
Sisään tietojenkäsittelyä ja informaatiotieteessä, kun viittaamme muodolliseen kieleen luonnollisten kielten vastakohtana, viittaamme niihin järjestelmiin merkkejä varustettu primitiivisillä symboleilla ja muodollisesti määritellyllä käyttösääntöjärjestelmällä, toisin sanoen varustettu aakkoset ja a kielioppi (tai syntaksi) muodollinen:
- Aakkosilla tarkoitetaan primitiivisten symbolien äärellistä ja ei-tyhjää joukkoa.
- Muodollisen kieliopin katsotaan olevan rajallinen joukko mainitun aakkoston yhdistelmäsääntöjä, jotka muodostavat rajallisia ketjuja, joilla on tietty merkitys.
Tässä se eroaa luonnollisista kielistä, jotka syntyvät ihmisen kommunikointitarpeen ympärillä, joissa säännöt ovat monimutkaisia ja moniselitteisiä ja joiden merkitys riippuu kielien tulkinnasta. kielellisiä merkkejä. Tästä syystä luonnolliset kielet ovat äärettömän monimutkaisempia kuin muodollisen kielen lukeminen säännöt ne ovat rajallisia ja vahvistettu etukäteen.
Viralliset kielet ovat tärkeitä maailmalle matematiikka ja tietojenkäsittelyä, koska niiden avulla voimme luoda koodit kommunikaatio ihmisten ja koneiden välillä, toisin sanoen ohjelmointi. Emme saa sekoittaa muodollisia kieliä kielen muodolliseen tasoon tai kielen muodolliseen tasoon muodollinen kieli, joka on verbaalisen kielen muodollista, kohteliasta ja muodollista käyttöä vastakohtana sen käyttöön puhekielen, epäsiisti ja epävirallinen.
Amerikkalaisen kielitieteilijän Noam Chomskyn (1928-) mukaan viralliset kielet voidaan luokitella neljään tyyppiin:
- Tyyppi 3: säännölliset kielet, joissa on säännölliset kieliopit, toisin sanoen säännöt, jotka voidaan saada säännöllisillä lausekkeilla ja jotka mahdollistavat kaikkien mahdollisten merkkijonojen hankkimisen.
- Tyyppi 2: ei-kontekstuaaliset kielet, joissa on ei-kontekstuaaliset kieliopit, toisin sanoen ne mahdollistavat kaikkien mahdollisten merkkijonojen hankkimisen, mutta paljon monimutkaisemmalla tasolla kuin tavalliset.
- Tyyppi 1: kontekstuaaliset kielet, jotka on varustettu kontekstuaalisilla kieliopeilla, toisin sanoen jotka mahdollistavat riippuvien merkkijonojen hankkimisen, kuten niiden nimi osoittaa. yhteydessä.
- Tyyppi 0: vapaat kielet, joissa on ilmaisia kielioppeja, ilman rajoituksia, jotka tuottavat rekursiivisesti luettavia kieliä.
Esimerkkejä muodollisista kielistä
Esimerkkejä virallisista kielistä ovat:
- The ohjelmointikielet joiden kanssa ohjelmisto.
- Shakkipeli, jonka nappuloita on rajoitettu määrä ja liikkeet on kuvattu etukäteen.
- Morsekoodi, joka säveltää lyhyillä ja pitkillä merkeillä sanat Y kokonaislukuja.
- Oma logiikka symbolinen muodostaa muodollisen kielen.