There are parser generators (some of which are limited to certain classes of grammars) which, given a grammar, automatically generate a parser for that grammar. Would it be possible to make a general-purpose translator generator to automatically translate from one grammar to the other grammar? If so, what rules would have to be imposed? E.g., would semantic rules for the grammars also have to formally specified?