Vinnychuk I. Algebraic grounds and tools for synthesis of interactive programming environments

The author considers formalized means of constructing automated systems for interactive program synthesis. The apparatus of algebras and meta-algebras is basis of the study. Two-level algebraic system has been developed. It is the mathematical base for the construction of automated systems. Meta-algebras and corresponding to them algebras of algorithm construction and user - program dialog interactions are its grounds. Criterion of the functional completeness of systems of elements in meta-algebras has been found. It permits to generate applied algebras with various properties of operations in their signatures. Abilities of Natural Language Interfaces were considered and the concept of their construction was developed. On the base of the undertaken theoretical studies "Fancy for Windows" system of automated synthesis of interactive multimedia programs has been developed.