Finite State Machine with Annotations