Закрыто понимание символа открытой рекурсии

Этот вопрос напрямую не касается того, что такое открытая или закрытая рекурсия, как мы могли видеть на этот вопрос, но более конкретно он касается этот разговор, на который ссылаются во многих местах.

Внутри мы можем увидеть такое выражение, как:

(fun(x1:τ1)⇒e)⇓(fun(x1:τ1)⇒e)

Мой вопрос: что означает ⇓?

Я просмотрел этот интернет и не нашел ничего особенного по этому поводу, учитывая, что гуглить символ всегда утомительно.


recursion computer-science programming-languages notation
person Geoffroy    schedule 27.11.2018    source источник

Ответы (1)


arrow_upward
2
arrow_downward

Не уверен, что это отвечает на ваш вопрос, но, читая различные материалы в Интернете, я думаю, что ⇓ означает оценивает до или уменьшает до.

Для выражения:

(fun(x1:τ1)⇒e)⇓(fun(x1:τ1)⇒e)

это означает, что функция fun, которая принимает x1 типа τ1 в качестве аргумента, может быть сведена к той же функции.

Возможно, вам поможет этот вопрос по SE.

person Dipen Shah    schedule 04.12.2018
comment
Спасибо за ответ, у меня действительно были проблемы с поиском чего-либо на этом символе! - person Geoffroy; 07.12.2018