Implement boolean operations of `SimpleDFA`

[marcofavorito]

Is your feature request related to a problem? Please describe.
Currently, SimpleDFA does not support boolean operations like intersection, union, negation etc.

Describe the solution you'd like
Implement them.

• intersection
• union
• complement

Boolean binary operations should be implemented using the same code to compute the product; they only differ in the condition for a state to be accepting.

Describe alternatives you've considered
n/a

Additional context

The reference can be any textbook on automata theory, e.g. https://en.wikipedia.org/wiki/Introduction_to_Automata_Theory,_Languages,_and_Computation