Algebra over estimation algorithms: Normalization and division
Authors:
A. G. D’yakonov
Affiliation:
(1) Faculty of Computational Mathematics and Cybernetics, Moscow State University, Leninskie gory, Moscow, 119992, Russia
Abstract:
An algebra over recognition algorithms supplemented with a normalization operation (under various definitions) and the division operation is investigated. Correctness criteria for various algebraic closures are obtained.