Given a context free grammar, both the algorithm for determining whether a given string is grammatical and the algorithm for producing a grammatical string in that language are well understood. To produce a grammatical string, just keep replacing non-terminals with one of their right-hand-side productions until you have only terminals.
The algorithm for determining whether a sentence is grammatical given a standard formulation of an attribute grammar is also well understood.
My question is: Is there a standard algorithm to produce sentences that are grammatical with respect to attribute grammars?
Edit: I am talking about attribute grammars with synthesized and inherited attributes. Thus, it is possible to generate something not in the language when the synthesized attributes and inherited attributes don't match up. This occurs, for instance, in checking that a variable is defined before use (https://web.cs.wpi.edu/~kal/courses/compilers/module4/mysa.html).
