Matematické Fórum

Nevíte-li si rady s jakýmkoliv matematickým problémem, toto místo je pro vás jako dělané.

Nástěnka
22. 8. 2021 (L) Přecházíme zpět na doménu forum.matweb.cz!
04.11.2016 (Jel.) Čtete, prosím, před vložení dotazu, děkuji!
23.10.2013 (Jel.) Zkuste před zadáním dotazu použít některý z online-nástrojů, konzultovat použití můžete v sekci CAS.

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