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