pythomata
pythomata copied to clipboard
whitemech
A Python package for automata theory.
## Proposed changes Describe the big picture of your changes here to communicate to the maintainers why we should accept this pull request. ## Fixes If it fixes a bug...
The accept method for accepting a string could be made faster by stopping the iteration over the string symbols when the DFA is in a sink state. Here is my...
Is there a way to compare two minimized DFAs for equality? What I really want to do is compare two LTLf terms. I'm hoping to parse them with `logaut`, minimize...
**Is your feature request related to a problem? Please describe.** `SymbolicDFA` is actually explicit in the state space and symbolic in the transition guards. **Describe the solution you'd like** Implement...
**Is your feature request related to a problem? Please describe.** `SymbolicDFA` currently does not support boolean operations. **Describe the solution you'd like** Implement them. - [ ] intersection - [...
**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. -...
Hi, I was using your library for minimizing a 3 variable DFA and while using graph.render it shows permission error as the graph below. 
**Describe the bug** In the "How to use" section of the README, the example is not correct (README at the commit: https://github.com/whitemech/pythomata/blob/cb521b8c98a63069ebc7a36e3ac43d47ab2941e6/README.md). By replacing the transition: ``` (s2, a, s3)...
I train Neural Network to recognize DFA given accept / not accept strings. It would be nice to have a method that samples random DFA with maximum size N and...
**Is your feature request related to a problem? Please describe.** Would be useful to have serialization to several formats (e.g. JSON, HOA etc.) **Describe the solution you'd like** Provide utilities...