visualizer EFSM with gk-tail algorithm