Revision history [back]

How can I make the parallel composition (synchronous product) of two automata ?

I only found the cartesien product operation

Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.