概念導讀NFA的existential有限路徑指定NFA接受aab，即使另一分支dead；epsilon loop本身不接受。非確定有限自動機derivation-mko-nondeterministic-finite-automaton-01