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. [...] Berstel e Perrin 1985).
Automi e gruppi
La 'teoria computazionale dei gruppi' è una branca della teoria dei gruppi spazio vettoriale di dimensione finita sul campo dei numeri complessi; le transizioni sono trasformazioni unitarie di tale spazio. Uno ...
Leggi Tutto
Automi e linguaggi formali
Dominique Perrin
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. Tali successioni si presentano in situazioni [...] geometri come William P. Thurston e esperti della teoria computazionale dei gruppi come John J. Cannon. Un gruppo si Denis Therien, hanno dimostrato che vi è un legame tra la complessità di un circuito e le varietà di semigruppi. In particolare, il ...
Leggi Tutto
Fisico e informatico italiano (n. Napoli 1936). Conseguita la laurea in Fisica, ha sviluppato un grande interesse per la cibernetica e nel 1970 ha concluso il dottorato in Computer and Communication Sciences [...] , T. insegna Informatica teorica e Calcolabilità e complessità all’Università Federico II di Napoli. Accanto agli particolare interesse per gli algoritmi evolutivi, la modellistica computazionale di sistemi biologici e le reti neurali ricorrenti. ...
Leggi Tutto
Scienza cognitiva
Antonio Rainone
Con la locuzione scienza cognitiva, dalla fine degli anni Settanta, si è soliti designare l'insieme delle discipline che hanno per oggetto lo studio dei processi cognitivi [...] a prendere in considerazione l'ipotesi di una simulazione computazionale delle attività neurali ai fini della comprensione di più frames e subframes per comprendere situazioni particolarmente complesse (per es., una festa di compleanno in una ...
Leggi Tutto
SISTEMI ESPERTI
I s.e. sono programmi per calcolatore che cercano di riprodurre le prestazioni di esperti umani nella risoluzione di problemi. Essi rappresentano il più conosciuto risultato pratico della [...] , la logica formale, la linguistica computazionale e lo studio dei processi decisionali.
I s.e. affrontano soprattutto domini professionali specializzati; i problemi che s'incontrano in essi sono in genere complessi e non ben strutturati, così che ...
Leggi Tutto
La grande scienza: introduzione
Enrico Alleva
Sergio Carrà
Gilberto Corbellini
Giorgio Parisi
La grande scienza
Le attività di ricerca scientifica abbracciano oggi un enorme numero di settori e di [...] comporta come un liquido o come un gas. Il peso computazionale di una tale simulazione è enorme, in quanto occorre calcolare le temi prescelti dovrebbero essere in grado di esaurire la complessità di un dominio entro il quale si sviluppa la ricerca ...
Leggi Tutto
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 [...] se per un problema non esiste una macchina di Turing in grado di risolverlo allora il problema si dice incomputabile o irrisolvibile.
→ Complessità algoritmica; Informatica teorica; Intelligenza artificiale; Sistemi chimico-fisici: autorganizzazione ...
Leggi Tutto
trattabilita
trattabilità [Der. di trattabile "l'essere trattabile", der. del lat. tractabilis, da tractare (→ trattamento)] [INF] T. e intrattabilità computazionale: v. complessità di calcolo: I 664 [...] d ...
Leggi Tutto
neuronale
agg. [der. di neurone]. – 1. Di neuroni, relativo al neurone: formazioni n.; degenerazione neuronale. In partic., in biofisica, rete n., la complessa rete di cellule (i neuroni), con un numero enorme di interconnessioni reciproche...
indice
ìndice s. m. [dal lat. index -dĭcis, propr. «indicatore», der. del tema di indicare «indicare»]. – 1. In senso generico ed etimologico (da cui si sviluppano tutti i sign. particolari), qualsiasi cosa che serve a indicare. In origine...