graphs views
There is a non-trivial connection between automata and graph theory (they are essentially directed graphs). This should be expressed as MMT views into https://gl.mathhub.info/smglom/graphs
Edited by Michael Kohlhase
There is a non-trivial connection between automata and graph theory (they are essentially directed graphs). This should be expressed as MMT views into https://gl.mathhub.info/smglom/graphs