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 [...] sistema astratto che, opportunamente programmato, era capace di eseguire ogni tipo di operazione (l’idea di Turing era didi Turing a nastro, formata da un’unità dicontrollo contenente un programma con un numero finito di istruzioni, da un nastro di ...
Leggi Tutto
dimensionale
dimensionale [agg. Der. di dimensione] [FTC] [MTR] Analisi d.: la disciplina che s'occupa dello studio delle dimensioni delle grandezze fisiche, partic. allo scopo di minimizzare il numero [...] dimensionale, analisi. ◆ [MTR] Controllo, o verifica, d.: data una formula di relazione tra grandezze, consiste nel MTR] Equazione, o formula, d.: quella tra dimensioni di grandezze fisiche: v. unità di misura, sistemidi: VI 406 f. ◆ [MCC] Metodo d. ...
Leggi Tutto
controllabilita
controllabilità [Der. dicontrollo "proprietà dicontrollare o di essere controllato"] [ELT] C. di un sistema: v. sistemi, teoria dei: V 321 a. ◆ [ANM] [INF] C. locale: v. controllo, [...] teoria del: I 752 d. ◆ [ANM] Dominio di c.: insieme degli stati del sistema che possono essere raggiunti per qualche scelta del controllo: v. controllo, teoria del: I 750 f. ◆ [ANM] Teoria della c.: v. controllo, teoria del: I 752 b. ...
Leggi Tutto
disaccoppiamento
disaccoppiaménto [Comp. di dis- e accoppiamento] [LSF] La mancanza di accoppiamento, cioè di trasferimento di energia, fra due o più sistemi; con signif. attivo, la messa in opera di [...] accorgimenti volti a ridurre o eliminare tale trasferimento di energia. ◆ [ANM] Problema del d. dei disturbi: v. controllo, teoria del: I 751 f. ...
Leggi Tutto
sistema
sistèma s. m. [dal lat. tardo systema, gr. σύστημα, propr. «riunione, complesso» (da cui varî sign. estens.), der. di συνίστημι «porre insieme, riunire»] (pl. -i). – 1. Nell’ambito scientifico, qualsiasi oggetto di studio che, pur...
controllo
contròllo s. m. [dal fr. contrôle, ant. contrerole, propr. «registro che fa da riscontro a un altro», comp. di contre «contro» e rôle «registro di atti», che è il lat. rotŭlus «rotolo»]. – 1. a. Il controllare e il suo risultato;...