Articles for the Finite State Machines tag