Form of abstract syntax in which an expression of a language is represented by a graph whose vertices are the expression's subterms