Indholdsfortegnelse
5 relationer: Computer, Funktionel-komplet, Komputationel klasse, Turing-ækvivalens, Turingmaskine.
- Turingmaskine
Computer
Bærbar computer Acer Aspire 5600 En computer er en maskine, der kan programmeres til automatisk at udføre nogle talmæssige eller logiske beregninger.
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
Komputationel klasse
En komputationel klasse er en gruppe, der indeholder alle de algoritmer, et givet system kan komputere (udregne).
Se Turing-komplet og Komputationel klasse
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
Se også
Turingmaskine
- Flerbånds-Turingmaskine
- Nondeterministisk Turingmaskine
- Turing-ækvivalens
- Turing-komplet
- Turingmaskine
Også kendt som Turing fuldstændighed, Turing-fuldstændig.