Linguaggio formale
Da Wikipedia, l'enciclopedia libera.
 |
Questa è una pagina d'aiuto per orientarsi tra le voci omonime o dal titolo ambiguo: scegli nell'elenco sottostante la voce che riguarda l'argomento ricercato. Se sei giunto qui da un'altra pagina, potresti cortesemente tornare indietro e correggere il collegamento, indirizzandolo alla voce più appropriata. |
L'espressione linguaggio formale può avere diversi significati a seconda del contesto in cui viene usata:
- può indicare il linguaggio utilizzato in contesti come quello legale, amministrativo, scientifico, e così via, in cui si presta cura all'uso corretto di una particolare terminologia al fine di eliminare o ridurre le ambiguità di interpretazione;
- in informatica, matematica, ingegneria e discipline affini può indicare una notazione o un formalismo con sintassi e semantica definite in modo preciso (spesso matematico/formale) e, in molti casi, tali da consentire qualche forma di elaborazione automatica del linguaggio stesso (per esempio, linguaggi di programmazione);
- in informatica teorica, logica, matematica e linguistica, l'espressione "linguaggio formale" viene usata anche in senso molto tecnico per indicare un modello matematico di linguaggio; vedi linguaggio formale (matematica).
