На графах: операция раскрытия переменной, конечные состояния

Вот допустим в своих шарпах я объявлю интерфейс провайдера значений, который возвращает произвольное значение (упрощенно, для наглядности):

interface IValueProvider<TValue>
{
      TValue Get(); 
}

Затем определим пару реализаций:

class First : IValueProvider<FirstState>
{
    private FirstState _state = default;
    public enum FirstState { A, B, C }
    
    public void MoveNext()
    {
        _state = _state switch
        {
            FirstState.A => FirstState.B,
            FirstState.B => FirstState.C,
            FirstState.C => FirstState.A,
        }
    }
    
    public FirstState Get()
    {
        return _state;
    }
}

class Second : IValueProvider<SecondState>
{
    private readonly IValueProvider<First.FirstState> _sourceStateProvider;
    private SecondState _state = default;
    public enum SecondState { R, W }
    
    public Second(IValueProvider<First.FirstState> sourceStateProvider)
    {
        _sourceStateProvider = sourceStateProvider;
    }
    
    public void MoveNext()
    {
        var sourceState = _sourceStateProvider.Get();
        
        if (sourceState != First.FirstState.C)
        {
            return;
        }
        
        _state = _state switch
        {
            SecondState.R => SecondState.W,
            SecondState.W => SecondState.R,
        }
    }
    
    public SecondState Get()
    {
        return _state;
    }
}

Конечно придётся руками вызывать MoveNext для обоих классов, это легко обойти путем введения интерфейса по типу IValueChangedProvider. Используем наши классы:

var first = new First();
var second = new Second(first);

for (var i = 0; i < 1000; i++)
{
  	first.MoveNext();
  	second.MoveNext();
  
  	Console.WriteLine("#{0} Step. First value - {1}, second value - {2}", i, first.Get(), second.Get());
}

Вот если бы что-то такое было в статье, а не какой-то код рисующий два объекта, перемещающихся по строго заданной траектории, было бы гораздо проще. И согласитесь, графы тут совершенно ни при чем - можно нарисовать какие-то графы для этого кода, но нет никакой необходимости в графах, чтобы реализовать то, о чем вы говорите.