Solution of Parallel Language Equations for Logic Synthesis