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

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

• Wikimedia Commons har flere filer relateret til Beregnelighed