Equivalence Checking Problem for Finite State Transducers
Finite state transducers over semigroups can be regarded as a formal model of sequential reactive programs. In this paper we introduce a uniform tech- nique for checking eectively functionality, k-valuedness, equivalence and inclusion for this model of computation in the case when a semigroup these transducers op- erate over is embeddable in a decidable group.
The author argues on expediency and mutual conditionality of evolutionary changes in the nature and in society. In the article three major factors of the evolution are allocated, namely: the accident, the factor of coincidence of circumstances and the factor of acceleration of social evolution.
The conference Philosophy, Mathematics, Linguistics: Aspects of Interaction 2014 (PhML-2014) is a sequel in the series of conferences intended to provide a forum for philosophers, mathematicians, linguists, logicians, and computer scientists who share an interest in cross-disciplinary research. The conference PhML-2014 is endorsed by the American National Committee of the Division of Logic, Methodology and Philosophy of Science (DLMPS) of the International Union of the History and Philosophy of Science (IUHPS), the Japan Association for Philosophy of Science, the Swedish National Committee for Logic, Methodology and Philosophy of Science.
The monograph is devoted to the consideration of complex systems from the position of the end the 21st century. The considerable breakthrough in the understanding of complex systems is comprehensively analyzed. Such a breakthrough is connected with the use of the newest methods of nonlinear dynamics, of organization of the modern computational experiments. The book is meant for specialists in different fields of natural sciences and the humanities as well as for all readers who are interested in the recent advancements in science.
The problem of management of the nonlinear object which is exposed to impact of uncontrollable indignations, is considered in a key of differential game. Synthesis of optimum managements is made with application of transformation of the nonlinear equation of initial object in the differential equation with the parameters depending on a condition. The square-law functional of quality allows to formulate synthesis conditions in the form of need of search of solutions of the equation of Rikkati. The solution of the equation of Rikkati with the parameters depending on a condition, is in a symbolical view with application of algebraic methods that allows to generalize a number of earlier published theoretical results, to receive rather constructive decisions in a number of statements of problems of management.
The article is based upon the fact that the growing demand for master data management systems has not yet produced a commonly accepted metodology for their design and development/ The article offers two mathematical models? that allow a master data management systems designer a way to formally describe their system before development and verify the system quality by measurements? unique to master data management systems.