Example 1.2.4 revisited
NFA
accepts wordsending with '00'
s0
s0s1
s2
1
0
DFA
the subset constructionyields 4 more states unreachable from s0
s0s2