Linguaggio formale

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. Si parla in questo caso, più propriamente, di linguaggio formalizzato;
• 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);
• linguaggio formale (matematica): l'espressione "linguaggio formale" viene anche usata in informatica teorica, logica, matematica e linguistica in senso molto tecnico per indicare un modello matematico di linguaggio.