Komisarenko D. Formalized design of the natural language dialog computer systems

Object of the research - the process of the natural language dialog interaction between a user and a system; subject of the research - methods of natural language interface modeling; methods of the research - methods of the formal grammar theory, theory of the compiler development and finite automaton theory; aim of the research - development of the mathematical, algorithmical, program and methodical means for the natural language interface computer system modeling; theoretical and practical results - new approaches to the modeling, testing and implementation of the natural language systems; a new model of the dialog interaction between a user and a system; the degree of the application of the achievements is laid in the corresponding area; the area of usage - human-computer natural language systems.