Алгебро-граматичні формалізми автоматизації проектування алгоритмічних знань предметних областей

Abstract

The article contains investigation of metaalgebra, oriented on generation of algebraic and algorithmic formalisms connected with multilevel structured design method of algorithms and programs classes. For created metaalgebra sufficient criteria of functional completeness are established. Design process is oriented on creation of algorithmic knowledge used to generate algorithms as well as their classes. This knowledge together with definite relation types between them, which are being established at design time, puts together application domain algorithmic knowledge base. Array sortings knowledge base developed using such an approach is the basis of created SORT expert system.