Imagine that the only characters allowed are 'a' and 'b'. Can you write a regex which matches all and only the shrinkable strings of a's and b's? (Bart Lateur's characterisation should be helpful here.)
Having done that, can you see how to modify it so that c's can be included as well? How about d's, e's, f's etc? .robin.
