Формализм Маккарти

• Определение и использование условного оператора

  • Условный оператор используется для ветвления вычислений на основе условия. 
  • Маккарти (1960) и Мински (1967) описывают его как примитивно рекурсивный и необходимый для рекурсии и му-оператора. 

• Расширение IF-THEN-ELSE до CASE

  • Клини (1952) определяет примитивную рекурсивность как использование базовых или предыдущих значений функции. 
  • Мински показывает, что оператор CASE является примитивно рекурсивным и расширяет логический оператор с двумя регистрами. 
  • CASE ведет себя как мультиплексор и требует взаимоисключающих и исчерпывающих условий. 

• Сила “определения по падежам”

  • Булос-Берджесс-Джеффри (2002) демонстрируют, что с помощью CASE можно создавать новые примитивно рекурсивные функции. 

• Ссылки и рекомендации

  • Статья содержит список ассоциаций и рекомендации по использованию условных операторов. 
  • Ссылки на работы Джорджа С. Булоса, Джона П. Берджесса, Ричарда К. Джеффри и Марвина Мински.