Matematické Fórum

Archiv diskusního fóra o matematice, 2006–2026

Toto je archiv Matematického Fóra. Fórum je dostupné jen ke čtení. Můžete se ale zaregistrovat na náš Discord server.

#1 23. 10. 2019 20:43

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

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:   0 
 

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

 

Archiv Matematického Fóra · stav k 30. 8. 2026 · 633 258 příspěvků v 108 818 tématech