Indholdsfortegnelse
10 relationer: Brainfuck, Church-Turing-tesen, Ethereum, Funktionel-komplet, Markup language, Register (cpu), Turing, Turing-ækvivalens, Turingmaskine, Z3.
Brainfuck
Brainfuck er et meget minimalistisk, esoterisk programmeringssprog.
Se Turing-komplet og Brainfuck
Church-Turing-tesen
Church-Turing-tesen er indenfor beregnelighedsteori en hypotese om computeres opførsel.
Se Turing-komplet og Church-Turing-tesen
Ethereum
Ethereum er en open source og decentraliseret blockchain baseret på intelligente kontrakter.
Funktionel-komplet
En komputationel klasse (f.eks. en notation, en maskine eller et programmeringssprog) er funktionel-komplet, hvis alle mulige sandhedstabeller indeholdes af den, bemærk at dette ikke implicerer at systemet er Turing-komplet, da man i mange tilfælde skal bruge et uendeligt program for at skrive en algoritme.
Se Turing-komplet og Funktionel-komplet
Markup language
Markup language eller opmærkningssprog kombinerer tekst og ekstra information om teksten.
Se Turing-komplet og Markup language
Register (cpu)
Et register er en særlig form for digital hukommelse knyttet til den centrale procesenhed, cpu'en, i en computer.
Se Turing-komplet og Register (cpu)
Turing
Turing kan henvise til.
Turing-ækvivalens
Et Turing-ækvivalent system er et system som er ækvivalent med en Turing-maskine.
Se Turing-komplet og Turing-ækvivalens
Turingmaskine
En Turingmaskine er en matematisk model for en simpel symbolmanipulerende maskine som trods sin enkle opbygning kan udføre ikke-trivielle beregninger og simulere logikken i enhver computer.
Se Turing-komplet og Turingmaskine
Z3
Z3, skabt af den tyske ingeniør Konrad Zuse, var den første fungerende, programmerbare, fuldt automatiske maskine, med hovedparten af de egenskaber som normalt bruges som definition af en computer.
Også kendt som Turing fuldstændighed, Turing-fuldstændig.