editing of DFAs section