On the analysis of non-initial automata