Solution of Synchronous Language Equations for Logic Synthesis