Какая модель вычислений нашла широкое распространение в современной теории алгоритмов и практике программирования наряду с Машиной Тьюринга?

  • Машина Чёрча
  • Лямбда-исчисление
  • Комбинаторная логика

К сожалению, у нас пока нет статистики ответов на данный вопрос, но мы работаем над этим.