## Invariants for a State Machine

(A new question of the week) Although we focus in this blog on questions at early college level and below, we do get questions at higher levels. This one deals with finding an invariant for a finite state machine, with possible movements of a robot as the example. First problem (relatively easy) The question came …