Text this: Algebraic Interpretation of a Microprogram Finite-State Machine with Datapath of Transitions.