Code Editor : automat-visualize3