CSSE 474: Day 10

Topics

• Equivalence of NFA and DFA
• Closure under union, concatenation, and the star operator