The start state is given in the formal definition of the automaton.
开始状态在自动机的形式定义中给出。