Double circle

• 状态用圆圈(circle)表示，双圆圈(double circle)表示终态，圆圈中 标有状态的名字或编号。