Finite State Analysis