(o computer, o elaboratore elettronico) Apparecchio o dispositivo utilizzato per l’elaborazione di dati e segnali.
Cenni storici
Le origini
Il desiderio di realizzare uno strumento in grado di compiere [...] scienza dei c. sono: la rappresentazione formalizzata di problemi, dati e procedure; la teoriadellacomputabilità e l’analisi degli algoritmi; lo studio e l’applicazione di linguaggi evoluti orientati a specifiche classi di problemi; la definizione ...
Leggi Tutto
INFORMATICA
Paolo Ercoli
Alberto Marini
Con il termine informatica, neologismo di origine francese, s'indica attualmente una nuova ed emergente disciplina, la quale si occupa di particolari rappresentazioni [...] , di cui l'automa costituisce un modello assai semplice.
Tale modello però lo si può mettere a base dellateoriadellacomputabilità che si occupa di stabilire quali funzioni possono essere calcolate da un automa o in generale da un elaboratore ...
Leggi Tutto
La grande scienza. Intelligenza artificiale
Marco Somalvico
Francesco Amigoni
Viola Schiaffonati
Intelligenza artificiale
In questa trattazione viene presentata l'intelligenza artificiale (nel seguito [...] nel 1943 il primo modello di neuroni artificiali, attingendo alla conoscenza della fisiologia e delle funzioni di base dei neuroni, alla logica proposizionale e alla teoriadellacomputabilità di Alan Turing. L'idea alla base del progetto cibernetico ...
Leggi Tutto
Intelligenza artificiale
Francesco Amigoni
Viola Schiaffonati
Marco Somalvico
L’intelligenza artificiale è una disciplina recente che negli anni ha fornito un importante contributo al progresso dell’intera [...] nel 1943 il primo modello di neuroni artificiali, attingendo alla conoscenza della fisiologia e delle funzioni di base dei neuroni, alla logica proposizionale e alla teoriadellacomputabilità di Alan M. Turing. L’idea alla base del progetto ...
Leggi Tutto
Complessità algoritmica
Fabrizio Luccio
Gli studi di complessità di calcolo si sono sviluppati essenzialmente nella seconda metà del ventesimo secolo. Basati sulla formalizzazione del concetto di algoritmo, [...] α non è accettata, ovvero la risposta è 0, se la macchina si arresta in uno stato di S−F. La teoriadellacomputabilità insegna che possono esistere stringhe per cui la macchina non si arresta mai. In linea teorica anche queste stringhe non sono ...
Leggi Tutto
computabile
computàbile [agg. Der. dell'ingl. computable, che è dal lat. computabilis "che si può calcolare", "di cui si può o si deve tenere conto", già reso con l'it. calcolabile] [ALG] [FAF] [INF] [...] o, in altri termini, le grandezze che possono essere calcolate con un elaboratore adeguatamente programmato; la teoriadellacomputabilità, o della ricorsività, studia i limiti teorici di un tale procedimento di calcolo. ◆ [INF] Funzione c.: funzione ...
Leggi Tutto
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. [...] se è riconosciuto da un semigruppo aperiodico.
La teoriadelle varietà di linguaggi razionali si deve a Samuel b−1L=ε appartengono all'algebra generata da L.
Computabilità
Riguardo alla classe più grande contenente tutti i linguaggi riconoscibili ...
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 [...] se è riconosciuto da un semigruppo aperiodico.
La teoriadelle varietà di linguaggi razionali si deve a Samuel e b−1=ε appartengono all'algebra generata da L.
Computabilità
Riguardo alla classe più grande contenente tutti i linguaggi riconoscibili ...
Leggi Tutto
computabile
computàbile agg. [dal lat. computabĭlis]. – Che si può computare; di cui si può o si deve tener conto: periodo di servizio militare c. ai fini della pensione. In logica matematica e in informatica teorica, detto di una funzione...