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…

Infinite tape of zeros.

Zero is neither A nor B or C...?

The initial state is A, the tape is full of 0 (on both sides).

The start state is A.