toDFA