pythomata
pythomata copied to clipboard
Implement boolean operations of `SimpleDFA`
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