Какая модель вычислений нашла широкое распространение в современной теории алгоритмов и практике программирования наряду с Машиной Тьюринга?
- Машина Чёрча
- Лямбда-исчисление
- Комбинаторная логика
К сожалению, у нас пока нет статистики ответов на данный вопрос,
но мы работаем над этим.