Meytus V. Category methods in the theory of language converters

Category forms methodology of usage is developed for research of problems of the theory of formal languages and conversion of the language information. Some variants of language converters which use various circuits of memory are offered. The method categories systems which allows to build sequentially converters with the set tags is developed and to research their features. The open decision problem of existence of the nonsynchronous finite converter displaying one regular language on another is solved. The problem of equivalence of the determined stack automatic devices is solved in a general view. The methodology of application of language converters to problems of automation of system design of the handle.