←back to thread

Turing-Drawings

(github.com)
142 points laurenth | 8 comments | 20 Apr 25 16:00 UTC | HN request time: 0.706s | source | bottom
1. suddenlybananas ◴[20 Apr 25 16:33 UTC] No.43744804[source]▶
It's interesting how some of them halt after a while and some of them don't. I wonder if one could figure out which ones do and which ones don't?
replies(2): >>43744824 #>>43745089 #
2. dadadad100 ◴[20 Apr 25 16:36 UTC] No.43744824[source]▶
You are kidding, right? [0]

[0] https://en.wikipedia.org/wiki/Halting_problem

replies(2): >>43745698 #>>43746215 #
3. tromp ◴[20 Apr 25 17:21 UTC] No.43745089[source]▶
None of them halt, since no halting state is ever introduced into these canvas dwelling TMs :-(
replies(1): >>43746041 #
4. Y_Y ◴[20 Apr 25 18:52 UTC] No.43745698[source]▶
These are FSMs though, as the tape is finite.
5. nialv7 ◴[20 Apr 25 19:44 UTC] No.43746041[source]▶
I think GP is actually asking whether we can determine if one enters a steady state, i.e. tape no longer changes.
6. suddenlybananas ◴[20 Apr 25 20:11 UTC] No.43746215[source]▶
It was a (not particularly funny) joke.
replies(2): >>43746279 #>>43754968 #
7. marviel ◴[20 Apr 25 20:21 UTC] No.43746279{3}[source]▶
I thought it was great :)
8. gbacon ◴[21 Apr 25 18:30 UTC] No.43754968{3}[source]▶
It was fine. The combination of difficulty detecting humor or sarcasm, a need to geek-preen, and limited filter can sometimes result in unfriendly or unwelcoming comments.