на картинке изображен именно цифровой автомат

-----

Увы, но нет...

Просто потому что после выполнения очередного шага автомат должен перейти из состояния А в состояние Б и находится в положении которое было до начала перехода из А в Б, за исключением измененного "текущего состояния".

Функция перехода должна изменить (атомарная операция) текущее состояние.

Код автомата должен никак не зависеть от того из какого и в какое состояние автомат переключается. Вообще никак.

Как следствие - код автомата никак не должен зависеть от конфигурации перекрестка и выбранного режима работы светофоров - автомат будет один и тот же.

Следствие 2 - приличная реализация автомата должна включать обработку ошибок. Например - выход из строя памяти в которой хранится "текущее состояние" или код автомата...

не требует никак обрабатывать эту ситуацию

-----

В Риге тоже не обрабатывали - два поезда столкнулись и появилась куча трупов...

П.С. Что данное решение не для осваивающих иф-елсе-тхен - Я вполне понимаю.