La grande scienza. Cronologia scientifica: 1951-1960
1951-1960
1951
Sui gruppi di omotopia e di omologia. In una serie di articoli (Homologie singulière des espaces fibrés) Jean-Pierre Serre fornisce [...] compilatore, un programma capace di tradurre programmi di alto livello, scritti da esseri umani, in altri programmi in linguaggiomacchina, direttamente comprensibili per un calcolatore.
Il V problema di Hilbert. Grazie ai contributi di A.M. Gleason ...
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. [...] effettua con metodi che implementano una forma di automa a pila. La traduzione dal linguaggio sorgente al linguaggio oggetto (un qualche tipo di linguaggiomacchina di basso livello) costituisce la terza parte, che implementa l'attraversamento di un ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Teoria della ricorsivita
Piergiorgio Odifreddi
Teoria della ricorsività
La teoria della ricorsività affronta lo studio delle funzioni con lo [...] implicito nel dato modello in una serie di istruzioni eseguibili direttamente dal computer (il cosiddetto linguaggiomacchina). In termini moderni, tale dimostrazione consiste nella costruzione di un cosiddetto compilatore. Essa fu effettuata ...
Leggi Tutto
programmazione
programmazióne [Der. di programmare "preparare un programma"] [LSF] (a) La formulazione di un programma. (b) Con signif. particolare nelle locuz. p. lineare e non lineare (v. oltre). ◆ [...] di programmazione: III 427 d); (f) p. simbolica, fatta in un linguaggio di p. che il calcolatore deve poi tradurre nel suo linguaggio (linguaggiomacchina) mediante un apposito programma (traduttore). ◆ [ANM] P. dinamica: metodo di soluzione ...
Leggi Tutto
Informatica
Processo inverso
(reverse engineering) L’attività di analisi di un prodotto (hardware e/o software) e, più in generale, di un dispositivo, ottenuto mediante ingegnerizzazione, al fine di individuarne [...] funzionamento interno e ricostruirne il progetto che ne era alla base. Per es., il reverse engineering del codice in linguaggiomacchina di un programma permette di riottenere un codice sorgente corrispondente a esso (cioè un codice sorgente che, se ...
Leggi Tutto
LOGICA E INFORMATICA
Carlo Cellucci
I. McCarthy (1963) afferma che è ragionevole sperare che le relazioni tra l'i. e la l. matematica nel prossimo secolo saranno altrettanto fruttuose di quelle tra [...] da A. Church (1932) attraverso il suo λ−calcolo. Mentre la macchina a registri illimitati fornisce una modellizzazione a basso livello (cioè a livello del linguaggio-macchina) dei calcolatori attuali, il λ-calcolo fornisce una modellizzazione a un ...
Leggi Tutto
Fondamenti della matematica e teoria algoritmica dell'informazione
Gregory J. Chaitin
Ciò che possiamo dimostrare intorno ai fondamenti della matematica usando i suoi stessi metodi costituisce la metamatematica, [...] la fine dei dati binari grezzi, e quindi la fine dell'intero programma, è ciò che costringe questi programmi in linguaggiomacchina a essere auto-delimitanti. In altre parole, la fine del programma in binario è come uno strapiombo nel quale il ...
Leggi Tutto
macchinamàcchina [Der. del lat. machina, dal gr. machaná o mechané] [LSF] Dispositivo costituito da un complesso di parti collegate in modo da ottenere un certo scopo, che spesso è la produzione di [...] espressioni e frasi, come codice di m., linguaggio di m., tempo di m., (spesso abbrev. in linguaggio m., tempo m.), errore di m., in m. a strofinio, a induzione e a effluvio: v. macchine elettrostatiche. ◆ [FTC] M. generatrice: quella il cui scopo ...
Leggi Tutto
linguaggiolinguà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, [...] 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 ...
Leggi Tutto
Matematica
Termine, derivato dall’appellativo al-Khuwārizmī («originario della Corasmia») del matematico Muḥammad ibn Mūsa del 9° sec., che designa qualunque schema o procedimento sistematico di calcolo [...] confronta due parole. Esprimeremo questo a. in un linguaggio naturale un po’ rigido, tenendo presente che questa astratto il procedimento di calcolo. Si hanno in questo modo la teoria delle macchine di A. Turing, la teoria degli a. normali di A.A. ...
Leggi Tutto
macchina
màcchina (ant. màchina) s. f. [dal lat. machĭna, che è dal gr. dorico μαχανά, attico μηχανή]. – 1. In senso storico e antropologico, qualsiasi dispositivo o apparecchio costruito collegando opportunamente due o più elementi in modo...
linguaggio
linguàggio s. m. [der. di lingua]. – 1. Nell’uso ant. o letter., e talora anche nell’uso com. odierno, lo stesso che lingua, come strumento di comunicazione usato dai membri di una stessa comunità: parlare con proprietà di l.; Questi...