Gutsa O. Interactive model of technical duties translation into system of Bull formulas

This thesis is dedicated to the resolution of transformation of word description of algorithm control of technological processes into the system of Bull formulas. For the first time one made choice of model of the work object achievement as an particular case of the known model "sense" text" (used before for the resolution of problems of translation from one natural language into another language). For the first time we realized and describe the algorithm of transition in natural language and programming form from the language-intermediary (conditional sequences) to the system of Bull formulas. For the first time, the problem of transition from a language-intermediary to the systems of Bull formulas had been resolved for the control automatic machines with point memory. For the first time, the problem of optimization of conditional sequences system in a case of limitation with using an equivalent principle had been resolved. For the first time, the method of verification of conditional sequences systemhad been elaborated.