Свершилось
Наконец, я могу сформулировать, почему хороша комбинаторная теория групп на специальностях, связанных с информатикой. Конечные представления (а именно для них лучше всего развита теория) решают ту же задачу, что классические разделы CS типа формальных систем и грамматик: они задают бесконечные объекты конечным образом. Ну а результаты об алгоритмической (не)разрешимости проблем к.т.г. говорят сами за себя: привет Гёделю, Генцену и компании...