Estem treballant per restaurar l'aplicació de Unionpedia a la Google Play Store
SortintEntrant
🌟Hem simplificat el nostre disseny per a una millor navegació!
Instagram Facebook X LinkedIn

Turing complet

Índex Turing complet

En la teoria d'ordinadors reals i imaginaris, dels llenguatges de programació i d'altres sistemes lògics, un sistema Turing complet és aquell que té un poder computacional equivalent a la màquina universal de Turing.

Taula de continguts

  1. 23 les relacions: A New Kind of Science, Algorisme quàntic, Bucle (programació), Càlcul lambda, Entrada/sortida, Expressió regular, Física digital, Hipòtesi, Konrad Zuse, Llenguatge de programació, Màquina universal de Turing, Màquina virtual, Microsoft Excel, Ordinador, Ordinador quàntic, Perl, Stephen Wolfram, Teoria de la computabilitat, Tesi de Church-Turing, Univers, Z3, 1941, 1998.

  2. Màquines de Turing

A New Kind of Science

A New Kind of Science (lit. en català: Un nou tipus de ciència) és un llibre de Stephen Wolfram que va ser publicat l’any 2002 per la seva companyia Wolfram Research sota el segell Wolfram Media.

Veure Turing complet і A New Kind of Science

Algorisme quàntic

portes de canvi de fase. Un algorisme quàntic és un algorisme que s'executa en un model realista de computació quàntica, com el model de circuit quàntic, com el que s'il·lustra en la figura.

Veure Turing complet і Algorisme quàntic

Bucle (programació)

Un bucle o cicle, en programació, és una sentència que es realitza diverses vegades a una secció aïllada del codi, fins que la condició assignada al bucle deixa de complir-se.

Veure Turing complet і Bucle (programació)

Càlcul lambda

El càlcul lambda (o càlcul-λ) és un sistema formal dissenyat per investigar la definició de funció, la noció d'aplicacions de funcions i la recursió.

Veure Turing complet і Càlcul lambda

Entrada/sortida

S'anomena Entrada/sortida (E/S), de vegades designats per l'acrònim I/O, derivat de l'anglès Input/Output, als intercanvis d'informacions entre el processador i els perifèrics que li són associats en un sistema basat en un processador, un microprocessador, un microcontrolador o PLC.

Veure Turing complet і Entrada/sortida

Expressió regular

En informàtica, una expressió regular (o col·loquialment anomenades regexp, acrònim de l'anglès regular expression) és una representació, segons unes regles sintàctiques d'un llenguatge formal, d'una porció de text genèric a buscar dins d'un altre text, com per exemple uns caràcters, paraules o patrons de text concrets.

Veure Turing complet і Expressió regular

Física digital

En física i cosmologia, la física digital (també denominada ontologia digital o filosofia digital) és una col·lecció de perspectives teòriques basades en la premissa que l'univers és fonamentalment descriptible per informació.

Veure Turing complet і Física digital

Hipòtesi

òrbites excèntriques i epicícliques. Una hipòtesi és una proposició acceptable formulada a través de la recollida d'informació i dades, i encara que no estigui confirmada, serveix per respondre de forma temptativa a un problema amb base científica, del se'n poden deduir un conjunt de proposicions o conseqüències.

Veure Turing complet і Hipòtesi

Konrad Zuse

va ser un enginyer informàtic alemany.

Veure Turing complet і Konrad Zuse

Llenguatge de programació

Codi font d'un programa escrit en llenguatge BASIC. Un llenguatge de programació és un llenguatge informàtic utilitzat per controlar el comportament d'una màquina, normalment un ordinador.

Veure Turing complet і Llenguatge de programació

Màquina universal de Turing

Una màquina universal de Turing (o també màquina de Turing universal) és una màquina de Turing que pot simular qualsevol màquina de Turing amb una entrada arbitrària.

Veure Turing complet і Màquina universal de Turing

Màquina virtual

Arquitectura típica d'una màquina virtual. VirtualBox En informàtica una màquina virtual és un programari que emula un ordinador i pot executar programes com si fos un ordinador real tot i que està virtualitzat.

Veure Turing complet і Màquina virtual

Microsoft Excel

Microsoft Excel és un programa de full de càlcul desenvolupat per Microsoft per a Windows, macOS, Android i iOS.

Veure Turing complet і Microsoft Excel

Ordinador

Teclat Un ordinador (del francès ordinateur) o computadora (del llatí computare, calcular) és una màquina electrònica que rep i processa dades per a convertir-les en informació útil.

Veure Turing complet і Ordinador

Ordinador quàntic

IBM Q System One (2019), el primer ordinador quàntic comercial basat en circuits. Un ordinador quàntic és un dispositiu de càlcul que fa ús dels fenòmens específics de la mecànica quàntica, tals com la superposició i l'entrellaçament, per executar operacions sobre dades.

Veure Turing complet і Ordinador quàntic

Perl

Perl és un llenguatge de programació d'alt nivell, estable, interpretat i multiplataforma dissenyat per Larry Wall.

Veure Turing complet і Perl

Stephen Wolfram

Stephen Wolfram (Londres, 29 d'agost de 1959) és un científic i tecnòleg reconegut pel seu treball en física de partícules, autòmats cel·lulars i àlgebra computacional i és el creador del nou programari Mathematica.

Veure Turing complet і Stephen Wolfram

Teoria de la computabilitat

La teoria de la computabilitat és la part de la computació que estudia els problemes de decisió que poden ser resolts amb un algorisme o equivalentment amb una màquina de Turing.

Veure Turing complet і Teoria de la computabilitat

Tesi de Church-Turing

La Tesi de Church-Turing, simplificant, es pot enunciar així: "Tot algorisme o procediment efectiu és Turing-computable".

Veure Turing complet і Tesi de Church-Turing

Univers

LUniversEscrit amb majúscula inicial, segons les regles d'ús de les majúscules i les minúscules de l'Institut d'Estudis Catalans i nombroses entrades del DIEC; i amb minúscula inicial, segons el DNV i el TERMCAT.

Veure Turing complet і Univers

Z3

La computadora Z3, creada per Konrad Zuse el 1941, va ser la primera màquina programable i completament automàtica, característiques usades per definir a un ordinador.

Veure Turing complet і Z3

1941

;Països Catalans.

Veure Turing complet і 1941

1998

1998 (MCMXCVIII) fon un any normal començat en dijous segons el calendari gregorià, i parcialment corresponent al 5100 del calendari Kali Yuga.

Veure Turing complet і 1998

Vegeu també

Màquines de Turing