Логическая структура любого алгоритма может быть представлена, как комбинация трех базовых структур.
1. следование или линейная структура;
2. ветвление или разветвляющаяся структура;
3. цикл или циклическая структура.
В алгоритме Евклида поиска НОД, все три они есть. Хотя на вашем рисунке и нет блока цикла, но он выражен неявно, с помощью оператора безусловного перехода (в Паскале, например, это оператор - goto метка).
Правило нахождения НОД двух натуральных чисел A и B у вас написано в условии задания. НОД(A,B)= НОД(min(A,B), |A-B|). Это "звучит" так: НОД двух натуральных чисел A и B равен НОДу двух других натуральных чисел. Первое число - разность (большего и меньшего), второе - меньшее из начальных чисел: НОД(A,B) = НОД(B,A-B) если A>B (или НОД(A,B) = НОД(A,B-A) если A