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. [...] non lo è. L''entropia' h(S) di un subshift S è il limite di (1/n)log un, dove un è il numero dei possibili blocchi di un linguaggio è razionale se e solo se l'insieme dei suoi quozienti sinistri è finito. Una famiglia F di sottoinsiemi di A* si dice ...
Leggi Tutto
Stocastica
Mark Kac
Storicamente i processi stocastici furono introdotti nel mondo della scienza (e più tardi della matematica) sotto una forma assai diversa da quella derivante dalla definizione formale [...] a 1. Sotto condizioni piuttosto generali, l'autovettore sinistro della matrice P (W(1),W(2),…,W(n teoria dei semigruppi di operatori lineari.
Se supponiamo che esista il limite definito da
[22] formula
esso è detto generatore infinitesimo e si ...
Leggi Tutto
OPERATORI; OPERAZIONALE, CALCOLO (od operatorio, calcolo)
Tullio Viola
Riteniamo opportuno aggiungere alle considerazioni svolte nelle voci: operatori (App. III, 11, p. 317) e simbolico, calcolo (App. [...] a, b] (intendendo ovviamente che, per ξ = a, I sia un intorno destro di ξ, per ξ = b sia invece un intorno sinistro).
III) Il rapporto δF/σ tende al suo limite finito F′ ∣ [f (x), ξ], uniformemente al variare sia di ξ in [a, b], sia di f (x) in C.
IV ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1941-1950
1941-1950
1941
Le successioni esatte. Introdotte in una nota sui gruppi di coomologia (priva di dimostrazioni) dal polacco Witold Hurewicz ed estensivamente [...] volta la cateterizzazione simultanea dell'atrio destro e dell'atrio sinistro del cuore di un paziente.
A Norimberga i medici del campo legante (ligand-field theory). Per superare i limiti della teoria del campo cristallino, introdotta da H. Van ...
Leggi Tutto
Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] visitare un dato numero di città entro un dato limite di tempo).
Una particolarità comune a questi problemi La loro applicazione determina la sostituzione del termine al lato sinistro della freccia con quello al lato destro, indipendentemente dalla ...
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, [...] il programma p. U non deve oltrepassare il limite, non può cadere nello strapiombo, deve leggere + O(1).
Qui A=B+O(1) significa che la differenza tra il membro sinistro e quello destro dell'uguaglianza è limitata, cioè è al più un numero fisso di bit ...
Leggi Tutto
vettoriale
vettoriale [agg. Der. di vettore "inerente a vettori"] [ANM] Analisi, o calcolo, v.: la parte della matematica che s'occupa degli algoritmi con i quali si opera sui vettori (a questi si applicano, [...] , tutti i concetti dell'analisi infinitesimale, quali quelli di continuità, limite, derivata, integrale, ecc.). ◆ [EMG] [MCC] Campo v modo analogo uno spazio v. destro e uno spazio v. sinistro. Ecco alcuni esempi di spazi v.: i vettori liberi della ...
Leggi Tutto
lìmite s. m. [dal lat. limes -mĭtis]. – 1. a. Confine, linea terminale o divisoria: il l. fra due stati, fra due territorî; i l. d’un terreno, d’un podere; sino al l. del campo; oltre il l. del bosco. In questo sign., la parola è oggi poco com....
limare
v. tr. [lat. līmare]. – 1. Passare la lima sulla superficie di un pezzo metallico, o di legno, o d’altro materiale, allo scopo di asportarne piccoli spessori o di appianarne le asperità. 2. fig. a. Corrodere, consumare provocando cruccio...