Macchina di Turing
Mauro Cappelli
Modello di agente di calcolo adatto a simulare la logica di qualsiasi algoritmo computazionale. La macchina formale fu proposta nel 1936 dal logico e matematico britannico [...] qualsiasi funzione computabile. Il nastro si estende idealmente in modo infinito nei due versi e risulta diviso in celle, ciascuna contenente un simbolo appartenente a un insieme finito di simboli detto alfabeto.
Ogni ;macchina di Turing deve ...
Leggi Tutto
fascio
fàscio [Der. del lat. fascis "legna (o cose simili) legata insieme"] [LSF] Con signif. traslato rispetto a quello proprio, insieme di radiazioni acustiche, elettromagnetiche o corpuscolari, emesse [...] in comune una retta impropria (f. improprio). ◆ [ALG] F. di rette: l'insieme delle rette di un piano che hanno in comune un punto (centro del f.), al finito (f. proprio) o all'infinito (in quest'ultimo caso si ha un f. improprio di rette parallele ...
Leggi Tutto
proiettivo
proiettivo [Der. del part. pass. proiectus del lat. proicere "gettare innanzi"] [ALG] Relativo alle operazioni di proiezione e anche di sezione, che sono l'oggetto della geometria p. (v. oltre). [...] l'aggiunta dei punti impropri (da pensarsi come punti all'infinito), uno per ogni retta e con la condizione che a differenza della retta ordinaria, una curva chiusa. Astrattamente, è l'insieme delle coppie di punti (x₀, x₁), reali o complessi (a ...
Leggi Tutto
Lie Marius Sophus
Lie 〈lìi〉 Marius Sophus [STF] (Nordfijordeid 1842 - Christiania 1899) Prof. di matematica nell'univ. di Christiania, ora Oslo (1872), di Lipsia (1886) e ancora di Christiania (1898); [...] . ◆ [ALG] Gruppo di L.: gruppo costituito da infiniti elementi che possono essere messi in corrispondenza con uno o v. gruppi di Lie: III 116 e. ◆ [ALG] Struttura di L.: l'insieme delle costanti di struttura di L. (v. sopra). ◆ [ALG] Teorema di L.: ...
Leggi Tutto
stabilità
Alfio Quarteroni
Si consideri il problema di trovare u tale che F(u,d)=0, dove d è l’insieme dei dati da cui dipende la soluzione e F esprime la relazione (detta anche legge funzionale) che [...] opportune (non necessariamente le stesse) per l’insieme dei dati e quello delle soluzioni. Consideriamo, distanza decresce, mentre nell’altro tende all’infinito quando la lunghezza dell’intervallo tende all’infinito. Il primo caso, in effetti, è ...
Leggi Tutto
attrattore
attrattóre [s.m. e agg. (f. -trice) Der. di attrarre (→ attrattivo)] [ANM] [MCS] Per un'equazione differenziale o per le iterazioni di una trasformazione, è un insieme chiuso invariante A [...] che la loro distanza da A tenda a zero. Tale insieme rappresenta il luogo dei punti dello spazio delle fasi a invece costituito in genere da una curva chiusa che il sistema ripercorre all'infinito con la frequenza propria: v. caos: I 496 c e sistemi ...
Leggi Tutto
compatto
compatto [Der. del part. pass. compactus del lat. compingere "unire strettamente" e quindi "fitto, denso, poco ingombrante"] [ALG] Gruppo c.: gruppo topologico, che sia c. come spazio topologico [...] , e anche spazio, tale che ogni successione formata da infiniti punti scelti in esso ammette un punto di accumulazione anch'esso appartenente all'insieme: per es., è un insieme c. una circonferenza, mentre non lo è la retta euclidea, nella quale ...
Leggi Tutto
divergente
divergènte [agg. e s.m. Part. pres. di divergere, in contrapp. a convergere] [MCF] Nella fluidodinamica, corpo, di forma opportuna che viene immerso in una corrente aerea o liquida allo scopo [...] punto in quanto immaginate come traiettorie di punti che, partendo insieme dall'origine comune, si vanno sempre di più allontando l'uno quale la successione delle somme parziali tende all'infinito positivamente o negativamente. ◆ [OTT] Sistema ottico ...
Leggi Tutto
quoziente
quoziènte [Der. dell'avv. lat. quotiens "quante volte"] [ALG] (a) Nell'aritmetica, il risultato del-l'operazione della divisione, cioè il numero che esprime quante volte il divisore è contenuto [...] , si parla di gruppo quoziente. ◆ [ALG] Passaggio al q.: il passaggio da un insieme al suo insieme q. rispetto a una data relazione di equivalenza (v. sopra: Insieme q.). ◆ [ALG] Spazio q.: v. varietà differenziabili infinito-dimensionali: VI 493 e. ...
Leggi Tutto
N
N 〈ènne〉 [Forma maiusc. della lettera n] [ASF] (a) Simb. di (stella) nova e come tale anche simb. di una serie secondaria di tipi spettrali di stelle: v. stella: V 624 a. ◆ [ALG] Simb. dell'insieme [...] . del neper. ◆ [MTR] [MCC] Simb. del newton. ◆ [FNC] Simb. del numero di neutroni di un nucleo atomico. ◆ [GFS] Punti N: v. terremoto, previsione del: VI 244 b. ◆ [MCC] Soluzione a N solitoni: v. hamiltoniani sistemi infinito-dimensionali: III 144 f. ...
Leggi Tutto
infinito
agg. e s. m. [dal lat. infinitus, comp. di in-2 e finitus, part. pass. di finire «limitare»]. – 1. agg. a. Che non ha principio né fine; che non ha limiti: il tempo i.; lo spazio i.; la misericordia di Dio è i.; i. silenzio (Leopardi)....
insieme
insième (ant. insème) avv. e s. m. [lat. ĭnsĕmul, rifatto nel lat. volg. in *insĕmel per sostituzione di semel «una volta» a simul «insieme»]. – 1. avv. Esprime in genere i seguenti rapporti: a. Compagnia, unione: siamo usciti i. io...