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 l'insieme dei suoi quozienti sinistri è finito. Una famiglia F di sottoinsiemi di A* si dice stabile se u−1∈F per u∈A* e macchine comunicano a ogni passo e il numero dei passi è limitato da un polinomio. Un linguaggio L è in IP (interattivo ...
Leggi Tutto
Crittografia
GGiancarlo Bongiovanni
di Giancarlo Bongiovanni
SOMMARIO: 1. Introduzione e definizioni. ▭ 2. Cenni storici. ▭ 3. Crittografia a chiave segreta: a) l'algoritmo DES; b) l'algoritmo IDEA; [...] i possibili valori della chiave, che sono in numero limitato come le lettere dell'alfabeto (nel caso dell'alfabeto uso di S-box accuratamente progettati ed è parametrizzata da un diverso sottoinsieme di 48 dei bit della chiave.
Il DES è stato al ...
Leggi Tutto
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, [...] dai naturali sui naturali). Lo studio può essere limitato agli algoritmi di decisione che calcolano funzioni da } se A è un algoritmo di decisione. In questo caso se L è il sottoinsieme di Σ* per cui A dà risposta 1, diremo che L è il linguaggio ...
Leggi Tutto
algebra di Boole
Silvio Bozzi
Introdotte nel 1848 da George Boole come controparte algebrica della logica dei termini e di quella ipotetica, le algebre di Boole trovano una prima formulazione assiomatica [...] A→A per cui
x ∨ x ′ = 1 x ∧ x ′ = 0.
Le algebre di Boole sono reticoli limitati, distributivi e complementati. Esempi sono l’algebra B(I)=〈P(I),∩,∪,‒〉 dei sottoinsiemi di un insieme dato mentre non sono algebre di Boole né il reticolo dei chiusi né ...
Leggi Tutto
Carlo De Benedetti
New economy
Una rete per l'economia del futuro
La rivoluzione della net economy
di Carlo De Benedetti
23-24 marzo
Al centro del Consiglio europeo dei capi di Stato e di governo tenutosi [...] (attualmente circa dieci milioni), ma l'uso della rete è ancora limitato. Tra non molto le cose cambieranno e allora la rete non servirà far aumentare il valore del titolo.
MIB30 - Sottoinsieme del MIBTEL (listino principale della Borsa italiana), ...
Leggi Tutto
finito
agg. [part. pass. di finire]. – 1. a. Giunto o condotto a termine, compiuto: arrivare a spettacolo f.; sono ormai due anni f. che ha lasciato il paese. Frequente nell’uso fam. la locuz. farla finita (con la indeterminato), smettere...
spazio
spàzio s. m. [dal lat. spatium, forse der. di patēre «essere aperto»]. – 1. Con valore assol., il luogo indefinito e illimitato in cui si pensano contenute tutte le cose materiali, le quali, in quanto hanno un’estensione, ne occupano...