Separating words by occurrences of subwords
We obtain some lower bounds for the complexity of word separation by occurrences of subwords. In the case of length 1 subwords, we show that the bound is exact up to a constant factor. Connection with the problem of separating words by automata is considered.
A new formalism of Resource Driven Automata Nets (RDA-nets) is presented. A RDAnet has two levels: a system level is represented by a net of active resources, describing distribution of agents/resources and their interactions; agents in an object level are finite automata, communicating via ports and shared resources of a system level. RDA-nets are assigned for modeling mobility in multi-agent systems from the resource dependence perspective. We prove that RDA-nets have the same expressive power as Petri nets and give examples of modeling agent communications, dynamics and mobility.
The collection represents proceedings of the XVIII international conference “Problems of Theoretical Cybernetics” (Penza, 19–23 June, 2017), that is sponsored by Russian Foundation for Basic Research (project N 17-01-20217-г). The conference subject area includes: control systems synthesis, complexity, reliability, and diagnostics; automata; computer languages and programming; graph theory; combinatorics; coding theory; theory of pattern recognition; mathematical programming and operations research, mathematical theory of intelligence systems; applied mathematical logic; functional systems theory; optimal control theory; applications of cybernetics in natural science and technology.
This proceedings publication is a compilation of selected contributions from the “Third International Conference on the Dynamics of Information Systems” which took place at the University of Florida, Gainesville, February 16–18, 2011. The purpose of this conference was to bring together scientists and engineers from industry, government, and academia in order to exchange new discoveries and results in a broad range of topics relevant to the theory and practice of dynamics of information systems. Dynamics of Information Systems: Mathematical Foundation presents state-of-the art research and is intended for graduate students and researchers interested in some of the most recent discoveries in information theory and dynamical systems. Scientists in other disciplines may also benefit from the applications of new developments to their own area of study.
For an arbitrary set of nonnegative integers, we consider the Euler binary partition function which equals the total number of binary expansions of an integer with ``digits'' from . By applying the theory of subdivision schemes and refinement equations, the asymptotic behaviour of as is characterized. For all finite , we compute the lower and upper exponents of growth of , find when they coincide, and present a sharp asymptotic formula for in that case, which is done in terms of the corresponding refinable function. It is shown that always has a constant exponent of growth on a set of integers of density one. The sets for which has a regular power growth are classified in terms of cyclotomic polynomials.
The article describes implementation (hardware and software) of computing system in automatic paradigm based on object-attribute (OA) computer system belonging to the class of dataflow machines. OA-computer is the system of functional unit (FU) collaborating each other. FU is hardware of software unit. The system named OA-automation emulate behavior of automation. It is discussion of necessary FU types and FUs cooperation of OA-automation. It is discussion the developed implementation of different classes of automata (deterministic, nondeterministic, abstract, structural), the implementation of automatic decomposition (nested and called slot automata) and systems of concurrent automata. The article involve describing developed formal models of automation decomposition. The implementation of automatic paradigm on OA-basis widen field of application of OA-approach to computing system organization by automatic control system, compiler, language semantics analysis system and etc. The implementation of automation decomposition simplify development of complex automata system.
The collection represents proceedings of the nineth international conference "Discrete Models in Control Systems Theory" that is held by Lomonosov Moscow State Uneversity and is dedicated in 90th anniversary of Sergey Vsevolodovich Yablonsky's birth. The conference subject are includes: discrete functional systems; discrete functions properties; control systems synthesis, complexity, reliability, and diagnostics; automata; graph theory; combinatorics; coding theory; mathematical methods of information security; theory of pattern recognition; mathematical theory of intellegence systems; applied mathematical logic. The conference is sponsored by Russian Foundation for Basic Research (project N 15-01-20193-г).
A form for an unbiased estimate of the coefficient of determination of a linear regression model is obtained. It is calculated by using a sample from a multivariate normal distribution. This estimate is proposed as an alternative criterion for a choice of regression factors.