Turingmaskine: Forskelle mellem versioner
Content deleted Content added
m robot Tilføjer: la:Machina Turing |
Xqbot (diskussion | bidrag) m robot Tilføjer: be-x-old:Машына Т'юрынга; kosmetiske ændringer |
||
Linje 18:
En Turingmaskine er en 7-tuple <math>(Q , \Sigma , \Gamma , \delta , q_{0} , q_{accept} , q_{afvis})\,</math>, hvor <math>Q , \Sigma , \Gamma \,</math> er endelige mængder.
# <math>Q \,</math> er mængden af tilstande,
# <math>\Sigma \,</math> er inputalfabetet, uden det specielle blanke symbol <math>^\sqcup</math>.
# <math>\Gamma \,</math> er båndalfabetet, <math>\Sigma \subseteq \Gamma \,</math> og <math>{\sqcup} \in \Gamma \,</math>,
# <math>\delta : Q \times \Gamma \rightarrow Q \times \Gamma \times \{L,R\}</math> er transitionsfunktionen,
# <math>q_{0} \in Q</math> er starttilstanden,
# <math>q_{accept} \in Q</math> er accepttilstanden, og
# <math>q_{afvis} \in Q</math> er den afvisende tilstand, <math>q_{afvis} \neq q_{accept}</math>
== Se også ==
* [[Flerbånds-Turingmaskine]]
* [[Nondeterministisk Turingmaskine]]
* [[Turingtest]]
* [[Enumerator]]
* [[Church-Turing-tesen]]
{{Commonscat|Turing machine}}
Linje 42:
[[ar:آلة تورنج]]
[[be:Машына Т'юрынга]]
[[be-x-old:Машына Т'юрынга]]
[[bg:Машина на Тюринг]]
[[bs:Turingova mašina]]
| |||