Как читать нотацию из описания DOT-calculus?

Пытался разобраться с формальным определением DOT-calculus по этому документу
lampwww.epfl.ch/~amin/dot/fool.pdf

Но я не понимаю как читать приведенные там описания, типа тех, что в части 2 в таблице (reduction, type assignment, declaration assignment)
a2323319eeb9fa90b84d5862b4c41cbf.png

Есть ли какая-нибудь статья, описывающая, как читать подобные нотации? И чем проще и подробнее, тем лучше.
  • Вопрос задан
  • 177 просмотров
Решения вопроса 1
cs0ip
@cs0ip Автор вопроса
Нашел неплохую статью по этому поводу, которая в основном объясняет происходящее здесь
siek.blogspot.ru/2012/07/crash-course-on-notation-...
Ответ написан
Пригласить эксперта
Ваш ответ на вопрос

Войдите, чтобы написать ответ

Войти через центр авторизации
Похожие вопросы