A synthesized attribute is defined for the symbol on the left-hand side of a production. It can depend on attributes of the symbols on the right-hand side.

An inherited attribute is defined for a symbol on the right-hand side of a production. It can depend on any other attributes, as long as there are no dependency cycles in the equations.