text: ACM SIGACT (англ. Association for Computing Machinery Special Interest Group on Algorithms and Computation Theory), подгруппа ACM, описывает науку, как поддержку теоретической информатики и отмечает: Область теоретической информатики толкуется широко и включает в себя алгоритмы, структуры данных, теорию сложности вычислений, распределенные вычисления, параллельные вычисления, СБИС (сверхбольшая интегральная схема), машинное обучение, вычислительную биологию, вычислительную геометрию, теории информации, криптографию, квантовый компьютинг, теорию чисел, алгебру и теорию вычисления (символьные вычисления), семантику и верификацию языков программирования, теорию автоматов, а также теории случайных процессов.