Here’s a state transition table for an NFA that accepts the regular expression abc. The NFA has been built using the translation from regular expressions to NFAs, except that we’ve gotten rid of some less-useful intermediate states. For mnemonic reasons, I’ve named some states with the string or expression that gets them there. Accept is double-lined to indicate that it’s (the only) accepting state. Note that once you get to the error state err , you stay there forever. The arrows labeled “any” mean any alphabet symbol.