Per calcolare il numero di 1 nella stringa w immagino che siamo d'accordo che bisogni piano piano ridurla.
Se diciamo che u(w) -> u(1w0) aggiungiamo invece di togliere.
A questo punto come come continui?
Il problema, secondo me, è che usando lo stesso simbolo ritengo difficile rendere l'idea di una diminuzione della lunghezza della stringa.
