While C is not terminal, apply f (C) to C. It is worth noting that search will always terminate once a terminal configuration has been reached, even though there is nothing in the transition system that forbids transitions out of terminal configurations.
while the model itself allows regressions and refixations after the last word of the text has been fixated, the search algorithm does not.