• Hvad er et formelt sprog?
• Eksempler på formelle sprog

Vi forklarer, hvad formelle sprog er, deres karakteristika, eksempler og typer. Også dens forskelle med naturlige sprog.

Et formelt sprog er organiseret af et begrænset sæt kombinationsregler.

Hvad er et formelt sprog?

I edb og informationsvidenskab, når vi henviser til et formelt sprog i modsætning til naturlige sprog, henviser vi til de systemer af tegn udstyret med primitive symboler og et formelt specificeret system af brugsregler, det vil sige udstyret med en alfabet og af en grammatik (eller syntaks) formel:

• Et alfabet forstås som det endelige og ikke-tomme sæt af primitive symboler.
• Formel grammatik forstås som det endelige sæt af kombinationsregler i nævnte alfabet for at danne endelige kæder med en specifik betydning.

Heri adskiller det sig fra naturlige sprog, opstået omkring det menneskelige behov for at kommunikere, hvor reglerne er komplekse og tvetydige, og betydningen afhænger af fortolkningen af sproglige tegn. Af denne grund er naturlige sprog uendeligt mere komplekse end læsningen af ​​et formelt sprog, hvis regler de er endelige og etablerede på forhånd.

Formelle sprog er vigtige for verden af matematik og af edb, da de giver os mulighed for at skabe koder kommunikation mellem mennesker og maskiner, dvs programmering. Vi bør ikke forveksle formelle sprog med sprogets formelle niveau eller med formelt sprog, som er den formelle, høflige og formelle brug af verbalt sprog, i modsætning til dets brug dagligdags, pjusket og uformel.

Ifølge den amerikanske lingvist Noam Chomsky (1928-) kan formelle sprog klassificeres i fire typer:

• Type 3: regulære sprog udstyret med regulære grammatikker, det vil sige med regelsystemer, der kan opnås med regulære udtryk, og som gør det muligt at opnå alle mulige symbolstrenge.
• Type 2: ikke-kontekstuelle sprog udstyret med ikke-kontekstuelle grammatikker, det vil sige, de giver mulighed for at opnå alle mulige symbolstrenge, men på et meget højere kompleksitetsniveau end de almindelige.
• Type 1: kontekstuelle sprog udstyret med kontekstuelle grammatikker, det vil sige, der gør det muligt at opnå strenge af afhængige symboler, som deres navn indikerer, af sammenhæng.
• Type 0: frie sprog udstyret med gratis grammatik, uden begrænsninger, som producerer rekursivt talrige sprog.

Eksempler på formelle sprog

Eksempler på formelle sprog er:

• Det programmeringssprog hvormed software.
• Spillet skak, hvis brikker er begrænsede og bevægelser beskrevet på forhånd.
• Morsekode, som gennem korte og lange tegn komponerer ord Y heltal.
• Egen logik symbolsk udgør et formelt sprog.