Can mark states as initial/accepting, writes state labels