For some tasks diagramming works better
SP(I,O) ? ?x?y : delay(I, y) ? not(I, x) ? and(y, x, O) delay(I, O) ? ?t : O(t+1) = I(t)
not(I,O) ? ?t : O(t) = 1 - I(t)
and(I1, I2, O) ? ?t : O(t) = I1(t) x I2 (t)
Two representations that describe a configuration of the same single pulser.