Формализм Маккарти
-
Определение и использование условного оператора
- Условный оператор используется для ветвления вычислений на основе условия.
- Маккарти (1960) и Мински (1967) описывают его как примитивно рекурсивный и необходимый для рекурсии и му-оператора.
-
Расширение IF-THEN-ELSE до CASE
- Клини (1952) определяет примитивную рекурсивность как использование базовых или предыдущих значений функции.
- Мински показывает, что оператор CASE является примитивно рекурсивным и расширяет логический оператор с двумя регистрами.
- CASE ведет себя как мультиплексор и требует взаимоисключающих и исчерпывающих условий.
-
Сила «определения по падежам»
- Булос-Берджесс-Джеффри (2002) демонстрируют, что с помощью CASE можно создавать новые примитивно рекурсивные функции.
-
Ссылки и рекомендации
- Статья содержит список ассоциаций и рекомендации по использованию условных операторов.
- Ссылки на работы Джорджа С. Булоса, Джона П. Берджесса, Ричарда К. Джеффри и Марвина Мински.