20. (inr(j@0)
s1)21.
(inl(j@0) s1)
j@0-the_graph- > *j df-traversal(the_graph;s3 @ s2 @ s1)
j:Vertices(the_graph). (inr(j) s) 
(inl(j) s) j-the_graph- > *i
k:Vertices(the_graph). (inr(k) s2) j-the_graph- > *k
(j:Vertices(the_graph). (inr(j) s2 @ s1) (inl(j) s2 @ s1) j-the_graph- > *i1)
df-traversal(the_graph;s3 @ s2 @ s1)
j:Vertices(the_graph). (inr(j) s1) (inl(j) s1) j-the_graph- > *i1
j@0:Vertices(the_graph). (inr(j@0) s1) (inl(j@0) s1) j@0-the_graph- > *j)
df-traversal(the_graph;s2 @ s1)
df-traversal(the_graph;s3 @ s2 @ s1)
| 1 | 19. j@0: Vertices(the_graph) 20. (inr(j@0) s1)21. (inl(j@0) s1) j@0-the_graph- > *j | 1 step |
| 2 | 19. df-traversal(the_graph;s2 @ s1) df-traversal(the_graph;s3 @ s2 @ s1) | 6 steps |
About:
 |  |  |  |  |