feat(Foundations/Automata): add Machine closed symmetric monoidal category
#478
+201
−0
Machine closed symmetric monoidal category
#478