Title: Bisimulation of state automata
Subjects: Sequential machine theory