Lecture 4 (NFAs), 9/11/17

Concepts, definitions (in italics):

         Contrapositive of a statement

         Unlike DFAs, NFAs are non-constructive (it is not straightforward to simulate them)

o    Also, cannot use the same table format to represent an NFA

Reading and Homework:



         Note: just as for DFAs, the book's definition of NFAs views delta as a mapping; we continue to view delta as a set of triples.