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. [...] teorema di Muller e Schupp afferma che un gruppo è context-free se e solo se è libero-per-finito (un'estensione di un gruppo libero per un gruppo finito).
d) Sistemi di riscrittura. Molti sistemi computazionali, in particolare quelli che trattano di ...
Leggi Tutto
Matematica
Ente geometrico che si estende nel senso della sola lunghezza; è tale, per es., la traiettoria d’un punto in moto, l’intersezione di due superfici (per es., di una sfera con un piano) ecc.; [...] dall’esercito tedesco che mantenne la posizione fino all’aprile 1945.
Tecnica
Sistema di conduttori elettrici (e per estensione anche gli impianti dei relativi sostegni e di tutti gli elementi accessori) destinati al trasporto di energia elettrica ...
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 [...] . Il cinese Shiing-shen Chern definisce le classi caratteristiche per il fibrato tangente di una varietà complessa, estensione delle classi caratteristiche di Stiefel-Whitney nel caso reale, che misurano l'esistenza di sezioni globali linearmente ...
Leggi Tutto
Computazione, teoria della
Fabrizio Luccio
La necessità del calcolo, pur riconosciuta dall'uomo in tutte le epoche storiche, ha condotto solo in tempi relativamente recenti a una sistemazione teorica [...] s,c)=Φ: in questo caso la nuova mossa non è definita e il percorso di calcolo contenente s,c si arresta. Questa estensione non amplia la classe dei linguaggi regolari perché si dimostra:
Teorema 1. Se L è il linguaggio accettato da un AFND arbitrario ...
Leggi Tutto
Chimica
Generalità
L’a. chimica si occupa dei metodi che permettono di determinare la composizione chimica di un campione. Genericamente ha il significato di scissione in elementi più piccoli e loro esame, [...] che attualmente porta il suo nome è il primo e più famoso esempio di integrale funzionale. Ben presto, con l’estensione, da parte di K. Ito, delle idee di Wiener al nuovo calcolo integrale, si aggiunge un nuovo capitolo del calcolo differenziale ...
Leggi Tutto
STATISTICA
Pietro Muliere
Ester Capuzzo
(XXXII, p. 506; App. I, p. 1018; IV, III, p. 447)
''Statistica'' è un termine con un significato amplissimo sia per la varietà delle applicazioni sia per le [...] problemi di confronto di omogeneità tra due campioni sono stati risolti sotto l'ipotesi classica di normalità da F. Wilcoxon (1945). L'estensione a k popolazioni sulla base di k campioni indipendenti è dovuta a W. Kruskal e W. Wallis (1952, 1953). Il ...
Leggi Tutto
La civilta islamica: condizioni materiali e intellettuali. Dal greco all'arabo: trasmissione e traduzione
Roshdi Rashed
Dal greco all'arabo: trasmissione e traduzione
Gli storici delle scienze e della [...] filologia è la via più sicura per lasciarsi sfuggire l'essenziale, ossia la motivazione della traduzione, la sua estensione e le forme che ha assunto. Esaminare questa trasmissione con il solo intento di ricostruire gli scritti greci definitivamente ...
Leggi Tutto
La grande scienza. Geometria non commutativa
Alain Connes
Geometria non commutativa
Se si pensa che la geometria sia strettamente legata al nostro modello di spazio-tempo, allora la teoria generale [...] . Al contrario, se la dimensione è infinita si presenta un nuovo fenomeno che è perfettamente analogo a quello delle estensioni non ramificate di campi p-adici. Compaiono fattori non banali, che commutano con le rappresentazioni in uno spazio di ...
Leggi Tutto
BETTI, Enrico
Nicola Virgopia
Nacque a Pistoia il 21 ott. 1823; compiuti qui gli studi classici, si laureò in matematica nel 1846 presso l'università di Pisa, dove ebbe come maestro O. F. Mossotti. [...] specie di connessioni, stabilì una serie di teoremi per gli spazi, a qualsivoglia numero di dimensioni. A tale memoria per l'estensione delle ricerche nel campo della teoria delle funzioni, il B. dedicò molto tempo e lungo studio. In un altro lavoro ...
Leggi Tutto
strategia mista
Roberto Lucchetti
Modo adottato da due agenti razionali allorché devono affrontare, per es., un gioco come la morra cinese, nella quale occorre scegliere tra sasso, carta e forbici, [...] mista. Le funzioni di utilità dei giocatori vengono aggiornate nel senso dell’utilità attesa. Siamo in presenza di una estensione del gioco di partenza (una strategia pura è in particolare una strategia mista in cui si assegna probabilità nulla alla ...
Leggi Tutto
estensione
estensióne s. f. [dal lat. extensio -onis, der. di extendĕre «estendere», part. pass. extensus]. – 1. a. L’azione e il risultato dell’estendere, in senso proprio e fig.: e. di un corpo elastico; e. di un diritto, di una concessione,...
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...