Formalization of data in the programming language 1C

The future software engineer must have the skills of programming simple and complex software systems, using modern programming languages and systems. In order to create a quality product, it is necessary to consider the logic of building up the modules, software interface, to describe the interaction of the corresponding algorithms. It is important to build up a dialogue between a user and software package. In this regard, the student must have an idea of the formal systems and grammars, allowing fully understand the internal state of the used algorithmic structures and describe them in practice. Despite the fact that the programming language 1С is not included in the rank of the programming languages, used during the software development, it is popular for the development of the corporate information systems. So the question of studying this program language is becoming actual. The paper states the features of the programming language 1C and difficulties the students face while its studying. The means of formalizing the data in the programming language 1C are described. Since the most profound understanding of the semantic features of the programming language and the correct use of the structures are observed while using syntax diagrams in the classroom, it is recommended to include the elements of the theory of languages and formal grammars into the study of the programming languages.