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 [...] , simbolo corrente, prossimo simbolo, prossimo stato, direzione di spostamento. Una macchina di Turing può eseguire un’intera sequenza di istruzioni, poiché risulta sincronizzata da una sorta di orologio interno. La macchina è pertanto un modello di ...
Leggi Tutto
logico
lògico [agg. (pl.m. -ci) Der. del lat. logicus, dal gr. log✄ikós, a sua volta da lógos "discorso, ragio-namento"] [LSF] Che concerne la logica o che è conforme a essa come retto modo di ragionare. [...] ] Teorema l.: nella logica matematica, è un'espressione del linguaggio simbolico adottato che ha la proprietà di essere deducibile (mediante una sequenza finita di applicazioni delle regole di inferenza) da alcuni degli assiomi o teoremi precedenti. ...
Leggi Tutto
Conformità o equivalenza tra più parti, termini, elementi.
Biologia
Concetto che esprime il rapporto fra organi o strutture morfologiche propri di categorie tassonomiche diverse (fig. 1), ma aventi la [...] di oggetti differenziali. Mediante opportune definizioni si possono costruire limiti e convergenza di sequenze spettrali in una categoria abeliana, che permettono di ottenere per approssimazioni successive l’o. di un dato oggetto.
Zoologia
In ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1961-1970
1961-1970
1961
Famiglia universale. Il giapponese Masatake Kuranishi mostra che esiste sempre un certo tipo di famiglia olomorfa di strutture complesse [...] una classe di enzimi che servono a controllare lo stato topologico del DNA e saranno chiamati 'topoisomerasi'.
Identificata la prima sequenza di un tRNA. Tale risultato è conseguito da Robert W. Holley, della Cornell Medical School di New York, che ...
Leggi Tutto
FLAUTI, Vincenzo
Marta Menghini
Nacque a Napoli il 4 apr. 1782, ove compì gli studi di matematica e fu allievo, insieme con G. Scorza, di N. Fergola e M. Cecere. Nel 1801 il F. assunse, insieme con [...] combinandole opportunamente.
Il corso di matematiche ideale - secondo il F. - partendo dalla geometria, doveva proporre in sequenza storica una sorta di antologia che, a cominciare dagli Elementi di Euclide, giungeva, passando attraverso le sezioni ...
Leggi Tutto
Scienza indiana. La scienza nella cultura indiana
Frits Staal
La scienza nella cultura indiana
Il concetto di scienza e la classificazione delle scienze
Per designare le conoscenze sistematiche indiane [...] dei suoni, che deriva da una revisione a prima vista sorprendente della classificazione Prātiśākhya. Pāṇini sostituì il sistema bidimensionale varga con una sequenza lineare, lo Śivasūtra:
a i u Ṇ / ṛ ḷ K / e o Ṅ / ai au C / ha ya va ra ṭ / la ...
Leggi Tutto
comando
comando [Der. del lat. commandare "affidare", comp. di cum "con" e mandare] [LSF] Ordine o segnale o, concret., dispositivo per realizzare un'operazione. ◆ [FTC] Organo o dispositivo per controllare [...] di c. viene iniziata da un operatore e proseguita poi da un dispositivo di c. automatico, secondo una prefissata sequenza operativa: esempio tipico ne è il c. automatico nei veicoli elettrici che, nei moderni veicoli a trazione elettrica, esegue ...
Leggi Tutto
Successione ordinata e continua di elementi, concreti e astratti, dello stesso genere.
Ecologia
Successione delle comunità che si sostituiscono l’una all’altra in una regione. Le comunità di transizione [...] ; come termine cronostratigrafico, la s. geologica rappresenta una unità, di rango superiore al piano, che indica una sequenza di formazioni sedimentarie e/o vulcaniche deposte una sull’altra in un dato intervallo di tempo (epoca: rappresenta la ...
Leggi Tutto
Linguistica
La parte della linguistica che studia la connessione di unità minori a formare unità maggiori. In questo senso si parla anche di fonetica sintattica (o sandhi, con il termine della grammatica [...] collegamenti di parole, i valori sintattici dei casi, le reggenze dei verbi, il significato dei tempi verbali, la sequenza stessa del discorso, oltre all’organizzazione delle parole nella frase. Quest’ultima accezione compare dapprima in Crisippo e ...
Leggi Tutto
Botanica
Pianta perenne legnosa, con fusto diritto, colonnare, che solo a qualche metro d’altezza porta rami o un ciuffo di grandi foglie. Il fusto dell’a. è chiamato tronco; mentre la chioma è l’insieme [...] a.) può essere eseguita in varie modalità (dai sottoalberi alla radice, dalla radice ai sottoalberi in una data sequenza, da un sottoalbero alla radice a un altro sottoalbero ecc.).
Linguistica
Rappresentazione grafica della struttura in costituenti ...
Leggi Tutto
sequenza
sequènza (ant. o pop. seguènza) s. f. [dal lat. tardo sequentia, der. di sequens -entis, part. pres. di sequi «seguire»; in alcuni sign., come il 2 e il 3, ricalca il fr. séquence]. – Genericam., séguito, successione, serie di cose,...
sequenziare
v. tr. [der. di sequenza, sull’esempio dell’ingl. (to) sequence] (io sequènzio, ecc.), non com. – Disporre in sequenza, ordinare secondo una sequenza; in partic., in biologia, determinare la sequenza di nucleotidi caratteristica...