Change state valid property to accepting.
Add intersection and to_s method for FiniteAutomata.
Add union and difference operations.
Add example intersection output.
Update intersection/union/difference example using set operations on the FiniteAutomata directly.
Add generation usage section.