Indholdsfortegnelse
18 relationer: Alan Turing, Beregnelige tal, Beregnelighed, Church-Turing-tesen, Enumerator, Flerbånds-Turingmaskine, Formalsprog, Halting-problemet, Nondeterministisk Turingmaskine, NP, Panini (sprogforsker), Ternær computer, Tidskompleksitet, Turing, Turing-ækvivalens, Turing-komplet, UTM, Z3.
Alan Turing
Alan Mathison Turing, OBE (født 23. juni 1912, død 7. juni 1954) var en britisk matematiker som var med til at grundlægge datalogien, der blev til den moderne computer.
Se Turingmaskine og Alan Turing
Beregnelige tal
Et beregneligt tal er et tal der kan beregnes med en given præcision af en algoritme, som kan beregnes af en Turing-maskine.
Se Turingmaskine og Beregnelige tal
Beregnelighed
Beregnelighed (også kaldet komputabilitetsteori) er et emne indenfor diskret matematik, som handler om om en givet funktion kan komputeres (beregnes) af en givet maskine (ofte Turing-maskinen).
Se Turingmaskine og Beregnelighed
Church-Turing-tesen
Church-Turing-tesen er indenfor beregnelighedsteori en hypotese om computeres opførsel.
Se Turingmaskine og Church-Turing-tesen
Enumerator
En enumerator er en variant af en Turingmaskine.
Se Turingmaskine og Enumerator
Flerbånds-Turingmaskine
En flerbånds-turingmaskine er en variant af en turingmaskine med et enkelt bånd.
Se Turingmaskine og Flerbånds-Turingmaskine
Formalsprog
Formalsprog betegner en abstraktion fra den normale opfattelse af hvad sprog er.
Se Turingmaskine og Formalsprog
Halting-problemet
Halting-problemet er et problem indenfor komputabilitetsteori.
Se Turingmaskine og Halting-problemet
Nondeterministisk Turingmaskine
En nondeterministisk Turingmaskine er en variant af en standard Turingmaskine.
Se Turingmaskine og Nondeterministisk Turingmaskine
NP
Inden for kompleksitetsteori er NP (eng: Non-deterministic Polynomial time, "ikke-deterministisk polynomiel tid") den mængde af beslutningsproblemer der kan løses i polynomiel tid på en nondeterministisk Turingmaskine.
Panini (sprogforsker)
Pāṇini (Devanāgarī: पाणिनि, IPA) var en indisk logiker, sprogforsker indenfor grammatik.
Se Turingmaskine og Panini (sprogforsker)
Ternær computer
En Ternær computer er et alternativ til de almindelige binære computer, computere der beregner ved hjælp af det binære talsystem (2-talssystem, engelsk: "base 2").
Se Turingmaskine og Ternær computer
Tidskompleksitet
Tidskompleksitet er inden for datalogien et udtryk for, hvordan tidsforbruget i en algoritme stiger, når mængden af inddata øges.
Se Turingmaskine og Tidskompleksitet
Turing
Turing kan henvise til.
Turing-ækvivalens
Et Turing-ækvivalent system er et system som er ækvivalent med en Turing-maskine.
Se Turingmaskine og Turing-ækvivalens
Turing-komplet
Turing-komplet er en egenskab som en komputationel klasse (f.eks. en notation, en maskine eller et programmeringssprog), som indeholder alle elementer i Turingmaskinens komputationelle gruppe, har, det vil sige at den kan gøre alle de beregninger (komputationer), som en Turing-ækvivalent maskine (f.eks.
Se Turingmaskine og Turing-komplet
UTM
UTM, akronymet henviser til forskellige artikler.
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-maskine.