Turingmaskine
Fra Wikipedia, den frie encyklopædi
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. Turingmaskiner blev beskrevet af Alan Turing i 1936. De spiller en central rolle inden for datalogien i teorierne vedrørende beregnelighed og beregningers kompleksitet og generelt i matematisk logik.
En turingmaskine kan være en specifik turingmaskine som er konstrueret til at løse et bestemt problem, eller det kan være en universel turingmaskine som kan læse en kodet beskrivelse af en vilkårlig turingmaskine inkl. dennes inddata, og så udføre dens beregninger.
[redigér] Se også
Denne artikel er kun påbegyndt. Hvis du ved mere om emnet, kan du hjælpe Wikipedia ved at udvide den. Du kan også give den en bedre beskrivelse. |