Strong Bisimulation of State Automata