• Vad är ett formellt språk?
• Exempel på formella språk

Vi förklarar vad formella språk är, deras egenskaper, exempel och typer. Också dess skillnader med naturliga språk.

Ett formellt språk är organiserat av en begränsad uppsättning kombinationsregler.

Vad är ett formellt språk?

I datoranvändning och informationsvetenskap, när vi hänvisar till ett formellt språk i motsats till naturliga språk, hänvisar vi till de system av tecken utrustad med primitiva symboler och ett formellt specificerat system för användningsregler, det vill säga försett med en alfabet och av en grammatik (eller syntax) formell:

• Ett alfabet förstås vara den ändliga och icke-tomma uppsättningen av primitiva symboler.
• Formell grammatik förstås vara den ändliga uppsättningen av kombinationsregler i nämnda alfabet för att bilda ändliga kedjor med en specifik betydelse.

I detta skiljer det sig från naturliga språk, uppkomna kring det mänskliga behovet av att kommunicera, där reglerna är komplexa och tvetydiga, och innebörden beror på tolkningen av språkliga tecken. Av denna anledning är naturliga språk oändligt mycket mer komplexa än läsningen av ett formellt språk vars regler de är ändliga och etablerade på förhand.

Formella språk är viktiga för världen av matematik och av datoranvändning, eftersom de tillåter oss att skapa koder kommunikation mellan människor och maskiner, det vill säga programmering. Vi bör inte blanda ihop formella språk med den formella nivån på språket eller med formellt språk, som är den formella, artiga och formella användningen av verbalt språk, i motsats till dess användning vardaglig, rufsig och informell.

Enligt den amerikanske lingvisten Noam Chomsky (1928-) kan formella språk klassificeras i fyra typer:

• Typ 3: reguljära språk utrustade med reguljär grammatik, det vill säga med regelsystem som kan erhållas med reguljära uttryck och som gör att alla möjliga symbolsträngar kan erhållas.
• Typ 2: icke-kontextuella språk utrustade med icke-kontextuella grammatiker, det vill säga de tillåter erhållande av alla möjliga symbolsträngar, men på en mycket högre nivå av komplexitet än de vanliga.
• Typ 1: kontextuella språk utrustade med kontextuella grammatiker, det vill säga som gör det möjligt att erhålla strängar av beroende symboler, som deras namn indikerar, av sammanhang.
• Typ 0: fria språk utrustade med gratis grammatik, utan begränsningar, som producerar rekursivt uppräknade språk.

Exempel på formella språk

Exempel på formella språk är:

• De programmeringsspråk med vilken programvara.
• Schackspelet, vars pjäser är begränsade och rörelser beskrivna i förväg.
• Morsekod, som genom korta och långa tecken komponerar ord Y heltal.
• Egen logik symboliskt utgör ett formellt språk.