Re: Comments on abstract syntax

From: "Dan Brickley" <>


Suggestions of a standard graph theory text which treats digraphs as primary
would be welcome.

May I suggest the text from:

Informally, a pseudograph is a graph with multiple edges (or loops) between
the same vertices (or the same vertex). Formally: a pseudograph is a set V
of vertices along, a set E of edges, and a function f from E to {{u,v}|u,v
in V}. (The function f shows which vertices are connected by which edge.) An
edge is a loop if f(e) = {u} for some vertex u in V. See also graph and

Seth Russell

Received on Monday, 19 August 2002 13:11:39 UTC