Indice
44 relazioni: Algoritmo di Markov, Arthur Burks, Atanasoff-Berry Computer, Automa cellulare, Blockchain, Code golf, COW (linguaggio di programmazione), CSS, ENIAC, Equivalenza, Ethereum, Factorio, Formica di Langton, FRACTRAN, Funzione calcolabile, Funzione ricorsiva, Funzione ricorsiva primitiva, Gioco della vita, Gretl, HQ9+, HTML5, IA-completo, Intelligenza artificiale forte, Linguaggio di programmazione esoterico, Macchina analitica, Macchina di Turing, Macchina di Turing universale, Minima lunghezza di descrizione, One instruction set computer, Paul Graham (informatico), PL/SQL, Principio di Markov, Programmazione dichiarativa, Programmazione generica, Sed (Unix), Storia dell'informatica, Teorema di Cook-Levin, Teoremi di incompletezza di Gödel, Tesi di Church-Turing, Turing riduzione, Turing tarpit, Web 3.0, XQuery, Z3 (computer).
Algoritmo di Markov
In logica matematica, un algoritmo di Markov è un sistema di riscrittura di stringhe (sistema semi-Thue) che si basa su regole analoghe a quelle grammaticali.
Vedere Turing equivalenza e Algoritmo di Markov
Arthur Burks
È noto per aver contribuito allo sviluppo dell'ENIAC, il primo computer elettronico Turing completo e general purpose del mondo.
Vedere Turing equivalenza e Arthur Burks
Atanasoff-Berry Computer
L'Atanasoff-Berry Computer (spesso chiamato ABC) è stato il primo computer digitale totalmente elettronico; rappresenta uno dei maggiori passi avanti della storia dei calcolatori.
Vedere Turing equivalenza e Atanasoff-Berry Computer
Automa cellulare
Un automa cellulare (dall'inglese Cellular automaton o Cellular automata, abbrev. CA) è un modello matematico usato per descrivere l'evoluzione di sistemi complessi discreti, studiati in teoria della computazione, matematica, fisica e biologia.
Vedere Turing equivalenza e Automa cellulare
Blockchain
La blockchain (in italiano: blocchi concatenati) è una struttura dati che consiste in elenchi crescenti di record, denominati "blocchi", collegati tra loro in modo sicuro utilizzando la crittografia.
Vedere Turing equivalenza e Blockchain
Code golf
Il code golf è un gioco nel quale i partecipanti devono cercare di implementare un determinato algoritmo tramite un codice sorgente più contenuto possibile, in un linguaggio di programmazione che può essere specificato nel quesito oppure scelto liberamente dai singoli partecipanti.
Vedere Turing equivalenza e Code golf
COW (linguaggio di programmazione)
COW è un linguaggio di programmazione esoterico, creato all'inizio del 2003 da Alex van Oostenrijk e Martijn van Beek. Esso utilizza un set di undici istruzioni, composta dalle lettere M e O. Le istruzioni del linguaggio sono case-sensitive.
Vedere Turing equivalenza e COW (linguaggio di programmazione)
CSS
Cascading Style Sheets, meglio noto come CSS (in italiano fogli di stile a cascata), è un linguaggio usato per definire la formattazione di documenti HTML, XHTML e XML, ad esempio i siti web e relative pagine web.
Vedere Turing equivalenza e CSS
ENIAC
LElectronic numerical integrator and computer (ENIAC) è, tra quelli di cui si ha notizia, il quarto computer elettronico digitale della storia, il quarto computer Turing completo della storia, il secondo computer elettronico Turing completo della storia e il primo computer elettronico general purpose della storia.
Vedere Turing equivalenza e ENIAC
Equivalenza
Equivalenza o equivalente può riferirsi a diversi concetti.
Vedere Turing equivalenza e Equivalenza
Ethereum
Ethereum è una piattaforma decentralizzata del Web 3.0 per la creazione e pubblicazione peer-to-peer di contratti intelligenti (smart contracts) creati in un linguaggio di programmazione Turing-completo.
Vedere Turing equivalenza e Ethereum
Factorio
Factorio è un videogioco strategico in tempo reale di stampo gestionale per PC sviluppato da Wube Software. È stato pubblicato in accesso anticipato nel 2016 per poi essere pubblicato in forma completa il 14 agosto 2020.
Vedere Turing equivalenza e Factorio
Formica di Langton
La formica di Langton è un automa a stati finiti bidimensionale con un insieme di regole molto semplice ma in grado di creare figure molto complicate.
Vedere Turing equivalenza e Formica di Langton
FRACTRAN
FRACTRAN è un linguaggio di programmazione esoterico Turing Completo inventato dal matematico John Conway.
Vedere Turing equivalenza e FRACTRAN
Funzione calcolabile
Le funzioni calcolabili sono il principale oggetto di studio della teoria della calcolabilità. Le funzioni calcolabili sono l'analogo formale della nozione intuitiva di algoritmo, nel senso che una funzione è calcolabile se esiste un algoritmo che può svolgere il compito della funzione stessa, cioè se dato un input del dominio della funzione, questa è in grado di restituire il corrispondente output.
Vedere Turing equivalenza e Funzione calcolabile
Funzione ricorsiva
Nella logica matematica e nell'informatica, le funzioni ricorsive sono una classe di funzioni dai numeri naturali ai numeri naturali che sono "calcolabili" in un qualche senso intuitivo.
Vedere Turing equivalenza e Funzione ricorsiva
Funzione ricorsiva primitiva
Nella teoria della calcolabilità, le funzioni ricorsive primitive sono una classe di funzioni che possono essere definite applicando un numero finito di volte la ricorsione e la composizione a partire da particolari funzioni base (funzioni zero, funzione successore e funzioni selettive o proiettive) e costituiscono un passo fondamentale nella costruzione di una completa formalizzazione della calcolabilità.
Vedere Turing equivalenza e Funzione ricorsiva primitiva
Gioco della vita
Il Gioco della vita (Game of Life in inglese, noto anche solo come Life) è un automa cellulare sviluppato dal matematico inglese John Conway sul finire degli anni sessanta.
Vedere Turing equivalenza e Gioco della vita
Gretl
gretl (acronimo di Gnu Regression, Econometrics and Time-series Library) è un software libero per econometria e per l'analisi statistica economica.
Vedere Turing equivalenza e Gretl
HQ9+
HQ9+ è un linguaggio di programmazione esoterico che consiste in sole quattro istruzioni, ognuna delle quali è rappresentata da un carattere: H, Q, 9 e +. Non è Turing completo, ma risulta altamente efficiente in talune tipologie di algoritmi.
Vedere Turing equivalenza e HQ9+
HTML5
HTML5 è la quinta versione del linguaggio di formattazione HTML raccomandata dal World Wide Web Consortium, distribuita a partire dall'ottobre 2014 e concepita per definire standard funzionali (es. riproduzione audio/video) e API.
Vedere Turing equivalenza e HTML5
IA-completo
L'espressione IA-completo (o IA-difficile), creata alludendo ai termini NP-completo e Turing-completo, designa un problema la cui risoluzione è considerata equivalente alla creazione di una intelligenza artificiale realistica.
Vedere Turing equivalenza e IA-completo
Intelligenza artificiale forte
Lintelligenza artificiale forte o intelligenza artificiale generale (in sigla AGI dall'inglese artificial general intelligence) è la capacità di un agente intelligente di apprendere e capire un qualsiasi compito intellettuale che può imparare un essere umano.
Vedere Turing equivalenza e Intelligenza artificiale forte
Linguaggio di programmazione esoterico
Un linguaggio di programmazione esoterico è una tipologia di linguaggi di programmazione particolarmente complessi e volutamente meno chiari possibile.
Vedere Turing equivalenza e Linguaggio di programmazione esoterico
Macchina analitica
La macchina analitica è stato il primo prototipo di un computer meccanico sviluppato per eseguire compiti generici. Il progetto fu sviluppato dal matematico, filosofo e scienziato inglese Charles Babbage (1791–1871), che cercò anche di realizzarlo praticamente.
Vedere Turing equivalenza e Macchina analitica
Macchina di Turing
In informatica, una macchina di Turing (o più brevemente MdT) è una macchina ideale che manipola i dati contenuti su un nastro di lunghezza potenzialmente infinita, secondo un insieme prefissato di regole ben definite.
Vedere Turing equivalenza e Macchina di Turing
Macchina di Turing universale
In teoria della computazione, si dice macchina di Turing universale (talvolta abbreviato in MTU) una macchina di Turing capace di simulare le evoluzioni di ogni macchina di Turing.
Vedere Turing equivalenza e Macchina di Turing universale
Minima lunghezza di descrizione
Il principio della minima lunghezza di descrizione (MLD) è una formalizzazione del Rasoio di Occam nella quale la migliore ipotesi per un determinato insieme di dati è quella che conduce alla migliore compressione dei dati.
Vedere Turing equivalenza e Minima lunghezza di descrizione
One instruction set computer
Con One Instruction Set Computer (OISC) si indica una macchina di Turing che usa una sola istruzione, e non necessita quindi di opcode. Gli OISC sono solitamente utilizzati nell'insegnamento.
Vedere Turing equivalenza e One instruction set computer
Paul Graham (informatico)
È conosciuto per il suo lavoro sul linguaggio di programmazione Lisp, per aver cofondato Viaweb (poi "Yahoo! Store") e Y Combinator. È autore di alcuni libri sulla programmazione, come On Lisp (1993), ANSI Common Lisp (1995) e Hackers & Painters (2004).
Vedere Turing equivalenza e Paul Graham (informatico)
PL/SQL
In informatica il PL/SQL (Procedural Language/Structured Query Language) è un linguaggio di programmazione proprietario (per database di Oracle Corporation), procedurale, server-based, estensione dell'SQL.
Vedere Turing equivalenza e PL/SQL
Principio di Markov
Il Principio di Markov, che deve il nome ad Andrej Andreevič Markov, è una tautologia della logica classica che non è intuizionisticamente valida ma può essere giustificata costruttivamente.
Vedere Turing equivalenza e Principio di Markov
Programmazione dichiarativa
In informatica, la programmazione dichiarativa è un paradigma di programmazione secondo cui la logica della computazione viene espressa senza descrivere il suo controllo di flusso.
Vedere Turing equivalenza e Programmazione dichiarativa
Programmazione generica
In informatica, la programmazione generica è un paradigma di programmazione in cui gli algoritmi accettano come parametri le tipologie di dati da trattare, oltre ai dati veri e propri.
Vedere Turing equivalenza e Programmazione generica
Sed (Unix)
sed (abbreviazione dalla lingua inglese di stream editor, editor di flusso) è un comando dei sistemi operativi Unix e Unix-like, e più in generale dei sistemi POSIX, che consente il filtraggio e la manipolazione di testi.
Vedere Turing equivalenza e Sed (Unix)
Storia dell'informatica
La storia dell'informatica è la storia della omonima scienza. Ha origini molto antiche, in quanto meccanismi per automatizzare il trattamento dei dati e delle operazioni aritmetiche erano noti già ai babilonesi intorno al X secolo a.C., in India e in Cina forse addirittura prima.
Vedere Turing equivalenza e Storia dell'informatica
Teorema di Cook-Levin
Nella teoria della complessità algoritmica, il teorema di Cook-Levin, dimostrato da Stephen Cook nel suo articolo "Complessità delle Procedure di Dimostrazione dei Teoremi" ("The Complexity of Theorem Proving Procedures") del 1971, afferma che il problema di soddisfacibilità booleana è NP-completo.
Vedere Turing equivalenza e Teorema di Cook-Levin
Teoremi di incompletezza di Gödel
In logica matematica, i teoremi di incompletezza di Gödel sono due famosi teoremi dimostrati da Kurt Gödel nel 1930. Gödel enunciò il suo primo teorema di incompletezza in una tavola rotonda a margine della Seconda Conferenza sull'Epistemologia delle Scienze esatte di Königsberg.
Vedere Turing equivalenza e Teoremi di incompletezza di Gödel
Tesi di Church-Turing
Nella teoria della calcolabilità la tesi di Church-Turing è un'ipotesi che afferma: «Se un problema è umanamente calcolabile, allora esisterà una macchina di Turing in grado di risolverlo (cioè di calcolarlo)».
Vedere Turing equivalenza e Tesi di Church-Turing
Turing riduzione
In teoria della computabilità, una Turing-riduzione da un problema decisionale A ad un problema decisionale B è una macchina oracolo che decide il problema A dato un oracolo per B (Rogers 1967, Soare 1987).
Vedere Turing equivalenza e Turing riduzione
Turing tarpit
Un Turing tarpit o pozzo di Turing è un linguaggio di programmazione o un'interfaccia che in principio offre ampie potenzialità in termini di funzionalità, ma in pratica non offre nessun supporto pratico per l'esecuzione di attività comuni.
Vedere Turing equivalenza e Turing tarpit
Web 3.0
In informatica il Web 3.0 è un termine a cui corrispondono significati diversi, volti a descrivere l'evoluzione dell'utilizzo del web e l'interazione fra gli innumerevoli percorsi evolutivi possibili.
Vedere Turing equivalenza e Web 3.0
XQuery
In informatica XQuery (abbreviazione per XML Query Language) è un linguaggio di programmazione funzionale, dichiarativo, a tipizzazione statica e Turing-completo, specificato dal W3C e destinato ad interrogare documenti e basi di dati XML.
Vedere Turing equivalenza e XQuery
Z3 (computer)
Lo Z3 è il primo calcolatore totalmente programmabile e totalmente automatico, quindi viene spesso indicato come il primo computer della storia.
Vedere Turing equivalenza e Z3 (computer)
Conosciuto come Turing complete, Turing completo, Turing equivalente, Turing-completo.