Базовою ідеєю, яка об'єднувала більшість праць Глушкова з цієї теми, була можливість застосування алгебраїчного апарату для формалізації таких об'єктів, якими є компоненти ЕОМ, схеми та програми. Глушков побудував необхідний математичний апарат та показав, що компоненти ЕОМ можуть бути репрезентовані як математичні вирази.