stefansteve1999@tg says to YSITD
DFA, NFA以及DFA <-> NFA <-> Regex的關係