In this example the program generating the data from both S1 and S2 is the more general abstraction, but can we really think of it as natural?
Maybe we have M3, M4 and so forth and if we try use the corresponding strings S1, … Sn to produce the data, we get something longer (each Si is small but there are many of them). In that case, there will be no single abstraction which is the most “natural”. I’m handwaving a lot, but does this make sense?
In this example the program generating the data from both S1 and S2 is the more general abstraction, but can we really think of it as natural?
Maybe we have M3, M4 and so forth and if we try use the corresponding strings S1, … Sn to produce the data, we get something longer (each Si is small but there are many of them). In that case, there will be no single abstraction which is the most “natural”. I’m handwaving a lot, but does this make sense?