Institute of Information Theories and Applications FOI ITHEA
Abstract:
We present OBDD transformation problem representing finite labeled transition systems
corresponding to some congruence relation. Transformations are oriented toward obtaining the OBDD of a
minimized transition system for this congruence relation.