Matematické Fórum


1. 8. 2026 (L) Fórum bude brzy uzavřeno 😿

Nejste přihlášen(a). Přihlásit

#1 23. 10. 2019 20:43

stepanVich
Zelenáč
Příspěvky: 9
Škola: VŠB FEI
Pozice: student
Reputace:   
 

Simulace turingova stroje

Ahoj, mám zde úkol do Teoretické Informatiky. Pomohl by mi s ním někdo? Zadání zní takto: Popište jak Turingův stroj s oboustranně nekonečnou páskou simulovat Turingovým strojem s jednostranně nekonečnou páskou tak, aby simulace jednoho kroku původního stroje vyžadovala O(1) kroků simulujícího stroje. Máte nějaké nápady?

Offline

 

#2 23. 10. 2019 20:47

Stýv
Vrchní cenzor
Příspěvky: 5711
Reputace:   215 
Web
 

Re: Simulace turingova stroje

Víš, jak se dokazuje, že celá čísla jsou spočetná?

Offline

 

#3 23. 10. 2019 21:01

stepanVich
Zelenáč
Příspěvky: 9
Škola: VŠB FEI
Pozice: student
Reputace:   
 

Re: Simulace turingova stroje

↑ Stýv: Jasně, seřadí se podle absolutní hodnoty a očíslují se pomocí přirozených čísel (ty jsou spočetné). Takhle to mám udělat i s Turingovým strojem? Že si představím že jednostranná páska jsou přirozená čisla a oboustraná by představovala celá čísla?

Offline

 

#4 23. 10. 2019 21:37

Stýv
Vrchní cenzor
Příspěvky: 5711
Reputace:   215 
Web
 

Re: Simulace turingova stroje

↑ stepanVich: Myslím, že by to tak mělo fungovat.

Offline

 

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson