LIMITED ERROR-PROPAGATION, SELF-SYNCHRONIZATION AND FINITE INPUT MEMORY FSMs AS WEAK INVERSES