DPDA#isAccepting added.