Scopri, impara e cresci

Che cos’è un linguaggio formalizzato

I linguaggi naturali (l’italiano, l’inglese ecc.) sono quelli con i quali le persone abitualmente comunicano

I linguaggi naturali (l’italiano, l’inglese ecc.) sono quelli con i quali le persone abitualmente comunicano; hanno molte parole, spesso vengono formati neologismi o alcune parole col tempo non vengono più usate. Sono soggetti a continue evoluzioni.

I linguaggi formalizzati sono invece tutti quei linguaggi che sono costruiti a partire da un alfabeto per mezzo di precise regole grammaticali.

Supponiamo ad esempio che si abbia un alfabeto formato da due sole lettere {a, b} e due sole regole grammaticali:

– dopo una «a» posso scrivere una «b» oppure una «a», ma non posso terminare la parola.

– dopo ;:una «b» non posso aggiungere altre lettere.

In questo linguaggio sarebbero ammesse parole come «aaaab»oppure «aab» (cioè sequenze di «a» con al termine una «b»), ma non una parola come, ad esempio, «ababa», o «baa», perché non rispetterebbe la seconda regola che impedisce di scrivere alcunché dopo una «b».

I linguaggi di programmazione sono linguaggi formalizzati, convenzionalmente accettati, anche se, apparentemente, sono formati da espressioni della lingua inglese.