Operators on Automata

`aut + aut` [sum](automaton.sum.ipynb) Sum (disjunction)
`aut * weight` [right_mult](automaton.right_mult.ipynb) Right scalar product
`weight * aut` [left_mult](automaton.left_mult.ipynb) Left scalar product
`~aut` [complement](automaton.complement.ipynb) Complement
`aut & aut` [conjunction](automaton.conjunction.ipynb) Conjunction (synchronized product)
`aut & num` [conjunction](automaton.conjunction.ipynb) Repeated conjunction
`aut % aut` [difference](automaton.difference.ipynb) Set difference
`aut * aut` [multiply](automaton.multiply.ipynb) Product (concatenation)
`aut ** num` [multiply](automaton.multiply.ipynb) Repeated multiplication
`aut ** (min, max)`