Figure 2: Dynamic model of the comment filtering FSM example