Here is the same structure abstracted to show only the state numbers:

For convenience, we interpret the lack of arrows to mean that transitions are possible in both directions.

Structures like this are pervasive in computer science and are called graphs.