Одна составляющая не совсем ясна. Какая блок-схема/фрагмент блок-схемы соответствует алгоритмической конструкции «повторение с постусловием»?

Блок-схема с условным оператором "проверка условия" и соединением обратной связью к началу цикла (например, через ромб) - это фрагмент блок-схемы, который соответствует алгоритмической конструкции "повторение с постусловием".

На такой блок-схеме условие проверяется после выполнения тела цикла, и если условие истинно, то происходит возврат к началу цикла.