Design of a separable transition-diagram compiler | Synapse