Well there are a lot of semantic rules and plenty that we've haven't formalized. So I'm not convinced anyone now alive could write such a program. But I'm not a programmer so maybe someone has proved me wrong. However,iIf they were successful I don't think I would consider the result gibberish- especially if each sentence made a testable prediction. In this case wouldn't some of the predictions be true? If so then it is clear that your definition is not broad enough.
Thats troubling since I had already concluded your definition was too broad because it seemed to include important but complex and falsified scientific claims,
David Stove's "What Is Wrong With Our Thoughts" is a critique of philosophy that I can only call epic.
The astute reader will of course find themselves objecting to Stove's notion that we should be catologuing every possible way to do philosophy wrong. It's not like there's some originally pure mode of thought, being tainted by only a small library of poisons. It's just that there are exponentially more possible crazy thoughts than sane thoughts, c.f. entropy.
But Stove's list of 39 different classic crazinesses applied to the number three is absolute pure epic gold. (Scroll down about halfway through if you want to jump there directly.)
I especially like #8: "There is an integer between two and four, but it is not three, and its true name and nature are not to be revealed."