issues
search
tuwien2020
/
tgi-pages
Open tools for the TGI course at the TU Vienna
https://tuwien2020.github.io/tgi-pages/#/
The Unlicense
12
stars
5
forks
source link
GDS Pages
#98
Open
stefnotch
opened
1 year ago
stefnotch
commented
1 year ago
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