This page lists the transition systems that lead to the Graph Traversal algorithms through successive refinement of systems, all of which construct Spanning Trees.
- Spanning Tree Construction
- Spanning Tree Via Traversal
- Spanning Tree Via Depth First Search
- Spanning Tree Via Depth First Search(Automated)
- Spanning Tree Via Breadth First Search
- Spanning Tree Via Breadth First Search(Automated)
The development of this lab has been supported by CEMCA
