Text this: Algebraic properties of finite switchboard state machine