Sigla di Backus-NaurForm, 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 che si vuole definire (nel caso che questo sia un linguaggio di programmazione, le sequenze accettabili corrispondono ...
Leggi Tutto
Naur, Peter
Naur, Peter. – Astronomo e informatico danese (n. Frederiksberg 1928). Laureatosi in astronomia nel 1949 all'università di Copenaghen, vi ha conseguito il PhD nel 1957. Ha partecipato alla [...] ), e durante lo sviluppo del linguaggio di programmazione ALGOL60 ha lavorato con John W. Backus alla definizione della BNF (Backus-Naurform), un formalismo per descrivere la sintassi di un linguaggio di programmazione che fornisce descrizioni utili ...
Leggi Tutto
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 [...] definì il linguaggio ALGOL e in tale ambito propose, insieme con Peter Naur, l'uso di un metalinguaggio per definire la sintassi di un linguaggio di programmazione. Nel caso specifico dell'ALGOL il metalinguaggio prese il nome di Backus-NaurForm. ...
Leggi Tutto
La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] è stato sviluppato dai primi inventori dei linguaggi di programmazione. In particolare, John W. Backus ha utilizzato la forma detta ora BNF (Backus-Naurform) per descrivere la sintassi del linguaggio ALGOL.
a) Linguaggi context-free. Una grammatica ...
Leggi Tutto
Automi e linguaggi formali
Dominique Perrin
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. Tali successioni si presentano in situazioni [...] dai primi inventori dei linguaggi di programmazione, in particolare da John W. Backus, che ha utilizzato la forma detta ora BNF (Backus-Naurform) per descrivere la sintassi del linguaggio ALGOL.
Linguaggi liberi dal contesto. Una grammatica ...
Leggi Tutto
Programmazione, linguaggi di
Gian Marco Todesco
I computer «possono fare tutto quello che gli sappiamo ordinare» scriveva nel 1842 Ada Augusta Byron Lovelace, considerata la prima programmatrice della [...] la sintassi della maggior parte dei linguaggi di programmazione è definita esplicitamente mediante un appropriato formalismo, come la Backus-Naurform (BNF).
I linguaggi possono avere sintassi semplici come il Lisp o il Forth, i quali prevedono solo ...
Leggi Tutto