Complessità algoritmica
Fabrizio Luccio
Gli studi di complessità di calcolo si sono sviluppati essenzialmente nella seconda metà del ventesimo secolo. Basati sulla formalizzazione del concetto di algoritmo, [...] α non è accettata, ovvero la risposta è 0, se la macchina si arresta in uno stato di S−F. La teoriadellacomputabilità insegna che possono esistere stringhe per cui la macchina non si arresta mai. In linea teorica anche queste stringhe non sono ...
Leggi Tutto
computabile
computàbile [agg. Der. dell'ingl. computable, che è dal lat. computabilis "che si può calcolare", "di cui si può o si deve tenere conto", già reso con l'it. calcolabile] [ALG] [FAF] [INF] [...] o, in altri termini, le grandezze che possono essere calcolate con un elaboratore adeguatamente programmato; la teoriadellacomputabilità, o della ricorsività, studia i limiti teorici di un tale procedimento di calcolo. ◆ [INF] Funzione c.: funzione ...
Leggi Tutto
ricorsività La proprietà di essere ricorsivo, cioè ricorrente. Teoriadella r., o della ricorsione, o computabilità, la disciplina che si occupa di fornire una caratterizzazione matematica del concetto [...] di I). I concetti di decidibilità, costruibilità e computabilità sono così strettamente collegati che, non appena si riesca di Gödel costituiscano un passo fondamentale per utilizzare la teoriadella r. nei problemi di decisione. Infatti, avvenuta l ...
Leggi Tutto
L'Universo matematico
John D. Barrow
(Astronomy Centre, University of Sussex, Brighton, Gran Bretagna)
Parte di questo saggio è stata pubblicata sotto il titolo Perché il mondo è matematico? Roma-Bari, [...] l'abilità di comprendere cose come la teoria quantistica, i buchi neri, la teoriadella relatività, pur non avendo di per sé umana.
La computabilità
Il costruttivismo, però, ci insegna qualcosa sul carattere matematico della natura. Possiamo vedere ...
Leggi Tutto
Arte e architettura
Movimento d’avanguardia che si sviluppò in Russia nel complesso clima d’impegno ideologico e culturale degli anni successivi alla Rivoluzione del 1917. Sulla base di stimoli e suggestioni [...] Bagrickij, V.A. Lugovskoj, V.M. Inber) e, soprattutto, nel campo dell’architettura con le realizzazioni e i progetti dei fratelli Vesnin, di K.S. ai concetti di computabilità, decisione ecc., ed è alla base dellateoriadella ricorsività (➔). ...
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 [...] se è riconosciuto da un semigruppo aperiodico.
La teoriadelle varietà di linguaggi razionali si deve a Samuel e b−1=ε appartengono all'algebra generata da L.
Computabilità
Riguardo alla classe più grande contenente tutti i linguaggi riconoscibili ...
Leggi Tutto
computabile
computàbile agg. [dal lat. computabĭlis]. – Che si può computare; di cui si può o si deve tener conto: periodo di servizio militare c. ai fini della pensione. In logica matematica e in informatica teorica, detto di una funzione...