Kategori:Beregnelighed

Fra Wikipedia, den frie encyklopædi
Spring til navigation Spring til søgning

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).

En funktion er beregnelig, hvis den kan udføres af enhver Turing-komplet maskine, altså enhver maskine, som kan simulerer Turingmaskinen.

Underkategorier

Denne kategori har kun den nedenstående underkategori.

T

Sider i kategorien "Beregnelighed"

Denne kategori indeholder følgende 12 sider, af i alt 12.