Денотационная семантика N итерационного цикла
Мне нужно найти расширение языка While, как оно описано в книге Nielson & Nielson, которое включает в себя N итерационных циклов. Это не цикл for со счетчиком, а цикл, который выполняется n раз по данному предложению, если n является целым числом больше 0.
У меня нет проблем с нахождением структурной и естественной операционной семантики, но я не могу найти какую-либо функцию для задачи с фиксированной точкой в денотационной семантике.
Я студент бакалавриата CS.