Turingmaskine: Forskelle mellem versioner
Content deleted Content added
overførselsfunktionen tilføjet i den formelle definition |
No edit summary |
||
Linje 8:
<math>\Sigma</math> er inputalfabetet hvor den tomme streng ikke er del af.<br />
<math>\Gamma</math> er båndalfabetet hvor den tomme streng samt <math>\Sigma</math> er del af.<br />
<math>\delta</math> er overførelsesfunktionen hvor <math>\delta</math>: <math>\mathcal{Q} \times \Gamma \to \mathcal{Q} \times \Gamma \times </math><math> \{ </math>L<math>,</math>R<math> \} </math><br />
<math>q_{0}</math> er starttilstanden hvor <math>q_{0} \in \mathcal{Q}</math> og <math>q_{0}</math>.<br />
<math>q_{accepter}</math> er den accepterende tilstand og <math>q_{accepter} \in \mathcal{Q}</math><br />
| |||