DFA#isAcceptable added.