В статье описана математическая структура (коллектив алгоритмов), созданная для применения в теории ЭВМ и программировании. Выбран рабочий алгоритмический язык и на примере упрощенной ЭВМ продемонстрировано применение нового аппарата для описания ЭВМ и доказательства того, что программы на языке машины являются алгоритмами.
