Question 4 (1 point) Attribute grammars have been used in all of the following types of applications except: to provide complete descriptions of the syntax and static semantics of programming languages as the formal definition of a language that can be input to a compiler generation system as the basis of several syntax-directed editing systems in natural-language processing systems to show that a loop invariant is true prior to the first iteration