How can I make the parallel composition (synchronous product) of two automata with Sage?
I only found the cartesien product operation
add a comment