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 follow

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…