В топологии, разделе математики, если задан топологический моноид X с точностью до гомотопии (в хорошем смысле), машина бесконечного пространства циклов производит групповое пополнение X вместе со структурой бесконечного пространства циклов . Например, можно взять X в качестве классифицирующего пространства симметричной моноидальной категории S ; то есть . Тогда машина производит групповое пополнение . Пространство может быть описано спектром K- теории S .
В 1977 году Роберт Томасон доказал эквивалентность всех машин с бесконечным циклом [1] (в то время ему было всего 25 лет). В следующем году он опубликовал этот результат в совместной статье с Джоном Питером Мэем.