Executable Specifications of Fully General Attribute Grammars with Ambiguity and Left-Recursion