It's probably a good chunk of a PhD thesis to come up with both the theory and an arbitrary generator for any language. However, you could probably brute force your way to the shortest solution in this particular language fairly easily.