linguaggio
linguàggio [Der. di lingua] [LSF] Il mezzo con cui gli uomini si scambiano reciprocamente informazioni; tale scambio, i cui veicoli (vocaboli) sono simboli di significato noto agli interlocutori, avviene per il tramite di uno o più dei sensi. ◆ [ELT] [INF] Per estensione, il mezzo di dialogo tra persone e macchine e tra macchine e macchine (l. ALGOL, FORTRAN, ecc.); in partic., il mezzo con cui l'utente interagisce con un calcolatore elettronico: v. linguaggi di programmazione. ◆ [ELT] [INF] L. algebrico: v. base di dati: I 343 a. ◆ [ELT] [INF] L. contestuale, acontestuale, regolare: v. automi, teoria degli: I 331 f, c. ◆ [ALG] [FAF] L. deduttivo: v. logica: III 486 a. ◆ [ELT] [INF] L. di definizione e manipolazione di dati: v. base dei dati: I 343 b. ◆ [ELT] [INF] L. di macchina: lo stesso che l. macchina (v. oltre). ◆ [ALG] [FAF] [INF] L. formale o formalizzato: v. oltre: L. logici. ◆ [ELT] [INF] L. interattivo di tipo grafico: v. base dei dati: I 343 a. ◆ [ELT] [INF] L. logici: quelli, detti anche l. formali o formalizzati, che nella logica matematica sono alla base delle varie teorie logiche; sono costruiti a partire da un ben definito alfabeto, che è costituito da simboli di termini categorematici (come variabili e costanti enunciative per denotare le proposizioni, individuali per denotare gli oggetti, predicative per denotare gli attributi, ecc.) e simboli di termini sincategorematici (come connettivi e quantificatori); in essi si definiscono in modo inequivoco le espressioni possibili (formule bene formate) costituite a partire dai simboli dell'alfabeto; per il loro aspetto informatico: v. linguaggi di progammazione: III 428 e. ◆ [ELT] [INF] L. macchina: v. linguaggi di programmazione: III 424 d. ◆ [ELT] [INF] L. mapped-oriented: v. base di dati: I 343 a. ◆ [ELT] [INF] L. naturale e parlato nell'intelligenza artificiale: traslazione del linguaggio usato normalmente dall'Uomo nell'ambito dei calcolatori elettronici: v. intelligenza artificiale: III 234 b, c. ◆ [ELT] [INF] L. per l'intelligenza artificiale: v. intelligenza artificiale: III 235 b. ◆ [ELT] [INF] L. procedurale e non procedurale: v. base di dati: I 343 a. ◆ [ELT] [INF] L. simbolico: v. linguaggi di programmazione: III 424 e. ◆ [ELT] [INF] L. speciale di simulazione: v. simulazione: V 224 a. ◆ [FAF] L. teorico: il linguaggio delle teorie scientifiche; per i neopositivisti, esso andava trasformato in l. osservativo: v. epistemologia: II 436 a. ◆ [ELT] [INF] Sistemi a l. ospite: v. base di dati: I 343 b. ◆ [ELT] [INF] Traduttore di l.: lo stesso che compilatore (←).