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. [...] memoria infinita (in realtà è sufficiente una parola su un alfabeto fissato, detto 'nastro') sulla quale si può leggere e scrivere. La macchina ha inoltre un insieme finito di stati, e si dice che riconosce la parola w data come input se si ferma in ...
Leggi Tutto
elevatore
elevatóre [agg. (f. -trice) e s.m. Der. del lat. elevator -oris "che leva, che innalza", dal part. pass. elevatus di elevare "elevare"; come s.m., der. del-l'ingl. elevator, con la medesima [...] origine lat.] [FTC] [MCC] Macchina che serve per sollevare carichi, come sono, con azione intermittente, gli ascensori, i montacarichi, le gru e simili, e, con azione continua, vari dispositivi specifici nei quali il materiale è convogliato ...
Leggi Tutto
ammissione
ammissióne [Der. del lat. admissio -onis "atto ed effetto dell'ammettere, dell'accettare", dal part. pass. admissus di admittere "ammettere", comp. di ad- e mittere "mandare"] [FSD] Tipo particolare [...] di cattura (←) ionica. ◆ [FTC] [TRM] Introduzione del fluido motore in una macchina. ...
Leggi Tutto
refrigeratore
refrigeratóre [agg. e s.m. Der. di refrigerare (→ refrigerante)] [FTC] [TRM] (a) Fluido avente la funzione di sottrarre calore in un apparecchio refrigerante (→ refrigerazione) lo stesso [...] che fluido refrigerante. (b) L'apparecchio o il dispositivo di raffreddamento di una macchina o di un impianto (in tal caso è sinon. di refrigerante). (c) Apparecchio per portare una sostanza a bassa temperatura: r. a ciclo Claude, a ciclo Stirling, ...
Leggi Tutto
termodinamico
termodinàmico [agg. (pl.m. -ci) Comp. di termo- e dinamico "che riguarda la termodinamica"] [CHF] Chimica t.: v. termodinamica degli equilibri chimici. ◆ [FTC] [TRM] Ciclo t.: insieme di [...] trasformazioni cicliche di un fluido, ripetute ordinatamente e continuamente da una macchina termica, che consente la trasformazione del calore in lavoro, o viceversa: v. cicli termodinamici. ◆ [TRM] Equilibrio t.: quello caratterizzato dalla ...
Leggi Tutto
Böhm, Corrado. – Matematico e informatico italiano (Milano 1923 - Roma 2017). Laureatosi nel 1946 in ingegneria elettronica presso il Politecnico di Losanna, ha conseguito il dottorato in matematica al [...] Politecnico di Zurigo nel 1951. Dalle sue ricerche sui linguaggi per la programmazione sulla macchina di Turing è nato, in collaborazione con G. Jacopini, il teorema di Böhm-Jacopini (1966). Tra i suoi contributi più importanti vi è il cosiddetto ...
Leggi Tutto
tolleranza
tolleranza [Der. del lat. tolerantia "capacità di sopportare", da tolerare "sopportare"] [FTC] [MTR] Lo scarto massimo ammissibile (in genere percentuale) tra il valore nominale e quello effettivo [...] di una grandezza fisica, spec. per quella che caratterizza un dispositivo o una macchina (t. di frequenza di un oscillatore, t. della tensione di un alternatore, ecc.) o un componente (per es., per la t. dei valori di alcuni componenti elettronici, v ...
Leggi Tutto
disturbo
disturbo [Der. del lat. disturbatio -onis "atto ed effetto del disturbare", dal part. pass. disturbatus di disturbare "scompigliare", comp. di dis- e turbare] [LSF] (a) Perturbazione del normale [...] andamento di un fenomeno, del regolare funzionamento di un dispositivo o di una macchina, e simili: d. di alimentazione, di un apparecchio elettrico, d. magnetici, ecc. (b) Qualunque fenomeno, grandezza, ente che appaia irrilevante e anzi dannoso ...
Leggi Tutto
carburatore
carburatóre [Der. di carburare (→ carburazione)] [FTC] [TRM] Apparecchio che ha la funzione di fornire ai motori a combustione interna, del tipo a carburazione, la miscela di aria e benzina [...] (eventualmente di altro carburante liquido) nelle dovute proporzioni e nelle quantità appropriate ai diversi regimi della macchina. ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Teoria della ricorsivita
Piergiorgio Odifreddi
Teoria della ricorsività
La teoria della ricorsività affronta lo studio delle funzioni con lo [...] cui si possa chiedere aiuto durante un calcolo. Tale idea si può pensare come un'astrazione del processo interattivo uomo-macchina, in cui il computer ha la possibilità di demandare certe scelte al programmatore: tale possibilità è utile quando, per ...
Leggi Tutto
macchina
màcchina (ant. màchina) s. f. [dal lat. machĭna, che è dal gr. dorico μαχανά, attico μηχανή]. – 1. In senso storico e antropologico, qualsiasi dispositivo o apparecchio costruito collegando opportunamente due o più elementi in modo...
macchinare
v. tr. [dal lat. machinari, der. di machĭna nel senso di «macchinazione, inganno»; nel sign. 2, der. di macchina] (io màcchino, ecc.). – 1. Ordire, preparare, tramare, a danno di altri: m. insidie; m. la morte, la rovina di qualcuno;...