Arnar Bjarni Arnarson
Arnar Bjarni Arnarson
I think the `successors`/`predecessors` functions are quite useful for enumerating words that are accepted by the DFA. Sometimes I want to limit the length of the word in an infinite...
Closes #162 @caleb531 @eliotwrobson Haven't added tests for full coverage but I've done a fair bit of manual testing and it is producing correct results. The DFA produced isn't necessarily...
My next focus was gonna be a little bit on DPDAs. I've started implementing enumeration and iteration. Are there any specific operations that you're particularly interested in prioritizing? Some of...
Closes #207 Might be wise to add a few more tests.
**What is the feature or improvement you would like to see?** Given a sequence of out-degrees and in-degrees of vertices, determine whether there exists a strongly-connected directed simple graph with...
There is a memory leak in the AVL tree. An early return in the erase function causes a memory leak. Can be resolved by changing ```cpp else if (n->l &&...
Input is an NFA and output is a Regular Expression that represents the same language as the NFA. https://en.wikipedia.org/wiki/Kleene%27s_algorithm This would probably be a useful addition to the library. I...