Петля, приводящая к результату - счётная бесконечность, не приводящая - несчетная.
Чтобы их отличить и выбрать нужную, и нужен анализатор вероятности - приближает ли действие результат или нет.