Scientific journal

ISSN 1814-2400

INFORMATION SCIENCE AND CONTROL SYSTEMS

Kleschev A. S., Timchenko V. A.

RESTRICTED SYNTACTIC EQUIVALENCE AND ADAPTIVE UNIFICATION IN THE EXTENSIBLE MODEL OF THE MATHEMATICAL DIALECT

The article considers the problem of restricted syntactic equivalence check of mathematical expressions as well as the problem of adaptive unification for the extensible model of the mathematical dialect. Some solution algorithms are given in the paper.

Keywords: restricted syntactic equivalence, adaptive unification, mathematical statement, propositional statement, meta mathematical statement, semantic variable, propositional variable, syntactic variable, modified syntactic variable.