The halting problem defined with an infinite tape is not decidable. But with a finite tape it is decidable: https://github.com/arkenidar/turingvm_halting_busybeavers.java https://github.com/arkenidar/turingvm_halting_busybeavers.js BTW can a physic...

Join discussion

DCDario CangialosiMar 19, 2018

0

github.com/arkenidar/exercises_in_js_html

https://github.com/arkenidar/exercises_in_js_html

Join discussion

Dario Cangialosi

About

Available for

Dario Cangialosi's blogs

Threads

python-developers-survey-2017

[math problem review] could the Halting Problem be solved with a finite-tape Turing machine instead of one with infinite tape?

github.com/arkenidar/exercises_in_js_html

Search Hashnode

Dario Cangialosi

About

Available for

Dario Cangialosi's blogs

Threads

python-developers-survey-2017

[math problem review] could the Halting Problem be solved with a finite-tape Turing machine instead of one with infinite tape?

github.com/arkenidar/exercises_in_js_html