Цикл Дейкстры Максимального прояснения логики программ можно достичь в том числе за счет использования цикла Дейкстры. Цикл Дейкстры (многоветочный while) - это фундаментальная и мощная управляющая структура. Оптимизация Склонность к оптимизации до полного прояснения логики программ, затрудняет эффективное применение формальной техники. Два алгоритма выбора наибольшей из четырех величин Рассмотрим, например, два алгоритма, в которых выбирается наибольшее из четырех величин: bash: [1] [2] При сопоставлении этих алгоритмов видно, что в каждом делается 3 сравнения. Первый алгоритм легче прочесть и понять, но с точки зрения выполнения на компьютере у них одинаковый уровень сложности. По временным затратам эти алгоритмы одинаковы, но первый требует больше памяти из-за временной переменной и именем largest . Рекурсия В некоторых задачах рекурсия даёт наиболее естественную формулировку решения, тогда как использование итерации привело бы к запутанным и громоздки...