История изменений
Исправление AndreyKl, (текущая версия) :
Алгоритм f1 запускает f на количество итераций, равное количеству состояний f. Если f не завершилось, указывает, что f может зациклиться. Если для всех состояний f завершилось, значит она всегда завершается.
В коке на сколько мне известно такой проверки завершаемости нет как отдельного вида. Это ведь именно то что я сделал руками.
Кроме того, если реализовать, встанет вопрос запуска этого алгоритма перебора, а он время при компиляции занимал бы большое.
Исходная версия AndreyKl, :
Алгоритм f1 запускает f на количество итераций, равное количеству состояний f. Если f не завершилось, указывает, что f может зациклиться. Если для всех состояний f завершилось, значит она всегда завершается.
В коке на сколько мне известно такой проверки завершаемости нет как отдельного вида. Это ведь именно то что я сделал руками.