M:AdjMatrix, T:Type, s:T, x:Vertices(adjm-graph(M)), f:(TVertices(adjm-graph(M))T). L:Vertices(adjm-graph(M)) List. (y:Vertices(adjm-graph(M)). x-adjm-graph(M)- > y (y L)) & adjm-edge-accum(M;s',x'.f(s',x');s;x) = list_accum(s',x'.f(s',x');s;L)

1	1. M: AdjMatrix 2. T: Type 3. s: T 4. x: M.size 5. f: TM.sizeT y:M.size. x- < vertices = M.size, edges = {p:(M.sizeM.size)| M.adj(1of(p),2of(p)) }, incidence = e.e > - > y (y filter(M.adj(x);upto(0;M.size)))	6 steps
2	1. M: AdjMatrix 2. T: Type 3. s: T 4. x: M.size 5. f: TM.sizeT primrec(M.size;s;y,s'. if M.adj(x,y) f(s',y) else s' fi) = list_accum(s',x'.f(s',x');s;filter(M.adj(x);upto(0;M.size)))	1 step

About: