Мне нужна помощь в прохождении всех переходов в автомате.(все-переходы - это критерии покрытия) У меня есть конечный автомат, и я хочу покрыть все переходы с минимальным количеством путей от исходного к целевому / аварийному состоянию.Пример: A-> B B-> B B-> C B-> D, поэтому пути: A-> B-> B-> C, A-> B-> D