News for hackers. Stuff that matters.

A comment on BB(3, 4) > Ack(14). Parent comment

Re:BB(3, 4) > Ack(14) by dataflow on Friday May 24, 2024 @02:00AM (#40463264)
What's the initial state supposed to be?
[ Parent | on HN ]
Re:BB(3, 4) > Ack(14) by wwalexander on Friday May 24, 2024 @03:55AM (#40463972)
My understanding is that the states are conventionally listed in order, so A would be the initial state:

> A TM string is in lexical normal form iff the following conditions obtain: …The non-initial active states first occur in ascending order…

[ Parent | on HN ]
Re:BB(3, 4) > Ack(14) by yau8edq12i on Friday May 24, 2024 @02:14AM (#40463341)
Infinite tape of zeros.
[ Parent | on HN ]
Re:BB(3, 4) > Ack(14) by dataflow on Friday May 24, 2024 @02:43AM (#40463522)
Zero is neither A nor B or C...?
[ Parent | on HN ]
Re:BB(3, 4) > Ack(14) by chx on Friday May 24, 2024 @04:00AM (#40464001)
The start state is A.
[ Parent | on HN ]
Re:BB(3, 4) > Ack(14) by yau8edq12i on Friday May 24, 2024 @11:25AM (#40467140)
The initial state is A, the tape is full of 0 (on both sides).
[ Parent | on HN ]