2.2 Теорія цифрових автоматів

Це на початку своєї наукової діяльності наприкінці 50-х В. М. Глушков сформулював чітке та алгебраїчно просте поняття цифрового автомата і отримав майже всі результати, які були опубліковані в свій час фундаторами цієї теорії Кліні та Муром. В лабораторії Глушкова в Інституті кібернетики активно вивчались як загальнотеоретичні проблеми, так і практичні питання застосування теорії автоматів для синтезу схем ЕОМ. Базовою ідеєю, яка об'єднувала більшість праць Глушкова з цієї теми, була можливість застосування алгебраїчного апарату для формалізації таких об'єктів, якими є компоненти ЕОМ, схеми та програми. Глушков побудував необхідний математичний апарат та показав, що компоненти ЕОМ можуть бу репрезентовані як математичні вирази. В 1961 р. як певний підсумок наукової діяльності була видана відома монографія Глушкова «Синтез цифровых автоматов».