sintassi

Dizionario delle Scienze Fisiche (1996)

sintassi


sintassi [Der. del gr. sy´ntaxis "organizzazione", comp. di sy´n "insieme" e táxis "sistemazione"] [ALG] [FAF] Nella logica matematica, lo studio delle proprietà e delle relazioni formali di un linguaggio logico che sono indipendenti dal signif. attribuito ai simb. (del quale s'occupa la semantica); le regole della s. specificano come vanno costruite le formule e come si deve operare sui simb. e sulle formule stesse (calcolo logico); in partic., rientrano nella s. i concetti di dimostrazione e di teorema, in quanto le regole per essi prescindono da casi o signif. specifici. ◆ [ELT] [INF] Nella tecnica dei calcolatori elettronici, insieme di regole per la corretta costruzione delle istruzioni in un linguaggio di programmazione.

Vedi anche
BNF Sigla di Backus-Naur Form, primo esempio di metalinguaggio utilizzato in informatica per descrivere in modo rigoroso la sintassi di un linguaggio formale, in particolare di un linguaggio di programmazione; consente di specificare in più passi quali sequenze di simboli sono accettabili nel linguaggio ... John W Backus Backus ‹bä´kës›, John W. - Informatico statunitense (Filadelfia 1924 - Ashland, Oregon, 2007). Ha contribuito in maniera assai significativa, come ricercatore dell'IBM, alla definizione e alla successiva implementazione su elaboratore del linguaggio FORTRAN, verso la metà degli anni '50 del Novecento. ... linguàggio di programmazióne linguàggio di programmazióne In informatica, insieme di parole e di regole, definite in modo formale, per consentire la programmazione di un elaboratore affinché esegua compiti predeterminati. Esistono linguaggio di programmazione di linguaggio di programmazione di alto livello e di basso livello: ... informatica Scienza che studia l’elaborazione delle informazioni e le sue applicazioni; più precisamente l’informatica si occupa della rappresentazione, dell’organizzazione e del trattamento automatico della informazione. Il termine informatica deriva dal fr. informatique (composto di INFORMATion e automatIQUE, ...
Categorie
Altri risultati per sintassi
  • sintassi
    Enciclopedia della Scienza e della Tecnica (2008)
    Silvio Bozzi Studio delle proprietà di linguaggi e teorie formalizzate visti, nella logica semantica, come sistemi per la costruzione, la classificazione e le trasformazioni di stringhe (o parole) su uno specifico vocabolario di segni. In quest’ottica la sintassi si contrappone alla semantica e nasce ...
Vocabolario
sintassi
sintassi s. f. [dal gr. σύνταξις «associazione, organizzazione», comp. di σύν «con, insieme» e τάξις «sistemazione»]. – 1. Nella linguistica descrittiva, una delle quattro parti tradizionali della descrizione linguistica, che ha per oggetto...
ut unum sint
ut unum sint (lat. «perché siano una cosa sola»). – Parole tratte dalla preghiera sacerdotale di Gesù, secondo il Vangelo di Giovanni, ma che intendono condensare lo spirito di tutta la preghiera, e spec. la sua parte centrale (17, 20-23):...