FinalState

constructor()