Added DFA bisimulation experiment