eNFA-to-DFA conversion and dead states

In "Introduction to Automata Theory, Languages, and
Computation," 2nd ed., section 2.5.5, "Eliminating
e-Transitions," it says in part on p. 78:


On + and -, q1 goes nowhere in Fig. 2.18, while
q0 goes to q1.


I was under the impression that all FSAs had transitions on
every symbol in their alphabets from every state. In the case
of Fig. 2.18, there are the implied/elided transitions from q1
on + and - to a dead state (as well as other elided transitions
from other states to the dead state).


Yet the quoted statement above "goes nowhere" makes it sound as
though transitions to the dead state are not to be considered
for eNFA-to-DFA conversion. Is this so?


- Paul

Return to the comp.compilers page.
Search the comp.compilers archives again.