Hyperidentities in (xx)y approximate to x(yx) Graph Algebras of Type (2, 0)

Graph algebras establish a connection between directed graphs without multiple edges and special universal algebras of type (2,0). A graph G satisfies an identity s approximate to t if the corresponding graph algebra A(G) satisfies s approximate to t. G is called a (xx)y approximate to x(yx) graph if A(G) satisfies the equation (xx)y approximate to x(yx). An identity s approximate to t of terms s and t of any type tau is called a hyperidentity of an algebra (A) under bar if whenever the operation symbols occurring in s and t are replaced by any term operations of (A) under bar of the appropriate arity, the resulting identities hold in (A) under bar. In this paper we characterize (xx)y approximate to x(yx) graph algebras, identities and hyperidentities in (xx)y approximate to x(yx) graph algebras.