 it tries other candidates. But before trying any other candidate, it brings $X$ to its initial state by sending it the special input symbol $reset$. The algorithm returns $false$ when all candidates are tried without a match.  [**Procedure**]{} 