A designer and simulator for various types of automata