Turingmaskine: Forskelle mellem versioner

Content deleted Content added
No edit summary
No edit summary
Linje 4:
 
==Formel definition==
En Turingmaskine er en 7-tuple(<math>\mathcal{Q}</math>,<math>\Sigma</math>,<math>\Gamma</math>,<math>\delta</math>,<math>q_{0}</math>,<math>q_{accepter}</math>,<math>q_{afvis}</math>), hvor <math>\mathcal{Q}</math>,<math>\Sigma</math>,<math>\Gamma</math> er endelige mængder. Og<br />
<math>\mathcal{Q}</math> er mængden af tilstande.<br />
<math>\Sigma</math> er inputalfabetet hvor den tomme streng ikke er del af.<br />