algebra views
There is a non-trivial connection between automata and algebra (they are essentially free monoids). This should be expressed as MMT views into https://gl.mathhub.info/smglom/algera
There is a non-trivial connection between automata and algebra (they are essentially free monoids). This should be expressed as MMT views into https://gl.mathhub.info/smglom/algera