pythomata icon indicating copy to clipboard operation
pythomata copied to clipboard

Implement boolean operations of `SimpleDFA`

Open marcofavorito opened this issue 4 years ago • 0 comments

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

marcofavorito avatar May 23 '21 10:05 marcofavorito