GDS Pages
stefnotch opened this issue · comments
- Split into two pages
- Review, finish and integrate the pull requests
- Rip KV Diagram, only BDD survives
- Digital Circuits needs updating
- Ask Prof. Kronegger about the BDD tool
- Finite automatons (those that just end in a final state, and moore/mealey, table and ui)
- Formal grammars, regex: Find good tools like https://www.bottlecaps.de/rr/ui
- Petri network: Might be nice to find a tool
- Predicate logic doesn't have anything at the moment