Makina Turing: Dallime mes rishikimesh

[redaktim i pashqyrtuar][Redaktim i kontrolluar]
Content deleted Content added
Mici (diskuto | kontribute)
No edit summary
Mici (diskuto | kontribute)
Rreshti 35:
 
 
 
[[Skeda:Figura 1(Makina Turing).PNG]]
[[Skeda:Figura 1(Makina Turing).PNG|thumb|700px|center|(Figura 1) Gjendje të ndryshme të makinave Turing]]
 
 
Figura 1
 
 
Rreshti 55:
Veprimi i mësipërm nga M mund të përshkruhet me anë të një shprehjeje me pesë shkronja që quhet pesëshe e renditur të cilën e përkufizojmë më poshtë.
 
Përkufizim: Një pesëshe e renditur q është një shprehje me pesë shkronja e formës së mëposhtme:
[[Skeda:Pesëshja e renditur.JPG|thumb|500px|left|Pesëshja e renditur që përkufizon një Makinë Turing]]
 
Line 68 ⟶ 69:
Kushti (i) në përkufizim na garanton që makina M nuk mund të kryejë më shumë se një veprim në cilindo hap dhe kushti (ii) na garanton që makina M ndalon në gjendjen sH, sY ose sN.
 
Përkufizim: Le të jenë α dhe β pamje. Shënojmë
 
Krahasimi me makinat e vërteta