• Hva er et formelt språk?
• Eksempler på formelle språk

Vi forklarer hva formelle språk er, deres egenskaper, eksempler og typer. Også dens forskjeller med naturlige språk.

Et formelt språk er organisert av et begrenset sett med kombinasjonsregler.

Hva er et formelt språk?

I databehandling og informasjonsvitenskap, når vi refererer til et formelt språk i motsetning til naturlige språk, refererer vi til disse systemene til tegn utstyrt med primitive symboler og et formelt spesifisert system for bruksregler, det vil si utstyrt med en alfabet og av en grammatikk (eller syntaks) formell:

• Et alfabet forstås å være det endelige og ikke-tomme settet med primitive symboler.
• Formell grammatikk forstås å være det endelige settet med kombinasjonsregler i nevnte alfabet for å danne endelige kjeder med en spesifikk betydning.

I dette skiller det seg fra naturlige språk, oppstått rundt menneskets behov for å kommunisere, der reglene er komplekse og tvetydige, og betydningen avhenger av tolkningen av språklige tegn. Av denne grunn er naturlige språk uendelig mye mer komplekse enn lesingen av et formelt språk hvis regler de er endelige og etablerte på forhånd.

Formelle språk er viktige for verden av matte og av databehandling, siden de lar oss lage koder kommunikasjon mellom mennesker og maskiner, det vil si programmering. Vi bør ikke forveksle formelle språk med det formelle nivået på språket eller med formelt språk, som er den formelle, høflige og formelle bruken av verbalt språk, i motsetning til bruken dagligdagse, rufsete og uformell.

I følge den amerikanske lingvisten Noam Chomsky (1928-) kan formelle språk klassifiseres i fire typer:

• Type 3: vanlige språk utstyrt med vanlige grammatikker, det vil si med regelsystemer som kan oppnås med regulære uttrykk og som lar alle mulige symbolstrenger oppnås.
• Type 2: ikke-kontekstuelle språk utstyrt med ikke-kontekstuelle grammatikker, det vil si at de tillater å oppnå alle mulige symbolstrenger, men på et mye høyere kompleksitetsnivå enn de vanlige.
• Type 1: kontekstuelle språk utstyrt med kontekstuelle grammatikker, det vil si som tillater å skaffe strenger med avhengige symboler, som navnet indikerer, av kontekst.
• Type 0: gratis språk utstyrt med gratis grammatikk, uten begrensninger, som produserer rekursivt tallrike språk.

Eksempler på formelle språk

Eksempler på formelle språk er:

• De programmerings språk med hvilken programvare.
• Spillet sjakk, hvis brikker er begrenset og bevegelser beskrevet på forhånd.
• Morsekode, som gjennom korte og lange tegn komponerer ord Y heltall.
• Egen logikk symbolsk utgjør et formelt språk.