If a finite state machine finishes an input string and is in an accepting state, the string is accepted or considered to be valid.