... N. (1965), Aspects of the Theory of Syntax, MIT Press, Cambridge, Mass. Cook, S. A. (1971), Characterizations of Pushdown Machines in Terms of Time-bounded Computers, Journal of the Association ... attribute of the start symbol of an at- tribute grammar is called the designated attribute (Engelfriet (1986)) of the attribute grammar. The output set of an attribu(e grammar is the set of all ... name of the meaning rule m appears, then the right-hand side of the rules should contain the same number of non terminals, since m is a function with a fixed number of arguments, independent of...