Efficient Solution of Language Equations Using Partitioned Representations

Alan Mishchenko, Robert Brayton, Roland Jiang +2

A class of discrete event synthesis problems can be reduced to solving language equations f . X ⊆ S, where F is the fixed component and S the specification. Sequential synthes…