The configuration graph of a machine on a fixed input has one vertex for each machine configuration and a directed edge for each valid computation step.
Articles by others on the same topic
A configuration graph is a type of graph used to represent the states and transitions of a system, particularly in the context of distributed systems, robotics, or combinatorial problems. In general, configuration graphs help visualize how different configurations (or states) of a system can transition from one to another based on certain rules or actions.