Описание тега computation
Вычисления имеют первостепенное значение для дисциплины информатики и имеют дело с типом и использованием вычислительной технологии в обработке информации, в частности, в контексте алгоритма или протокола.
В теории вычислений было разработано множество математических моделей компьютеров. Типичными математическими моделями компьютеров являются:
- Модели состояний, включая машину Тьюринга, выталкивающий автомат, конечный автомат и PRAM
- Функциональные модели, включая лямбда-исчисление
- Логические модели, включая логическое программирование
- Параллельные модели, включая модель акторов и вычисления процессов