2,083 research outputs found
Complexity of Equivalence and Learning for Multiplicity Tree Automata
We consider the complexity of equivalence and learning for multiplicity tree
automata, i.e., weighted tree automata over a field. We first show that the
equivalence problem is logspace equivalent to polynomial identity testing, the
complexity of which is a longstanding open problem. Secondly, we derive lower
bounds on the number of queries needed to learn multiplicity tree automata in
Angluin's exact learning model, over both arbitrary and fixed fields.
Habrard and Oncina (2006) give an exact learning algorithm for multiplicity
tree automata, in which the number of queries is proportional to the size of
the target automaton and the size of a largest counterexample, represented as a
tree, that is returned by the Teacher. However, the smallest
tree-counterexample may be exponential in the size of the target automaton.
Thus the above algorithm does not run in time polynomial in the size of the
target automaton, and has query complexity exponential in the lower bound.
Assuming a Teacher that returns minimal DAG representations of
counterexamples, we give a new exact learning algorithm whose query complexity
is quadratic in the target automaton size, almost matching the lower bound, and
improving the best previously-known algorithm by an exponential factor
Towards a Uniform Theory of Effectful State Machines
Using recent developments in coalgebraic and monad-based semantics, we
present a uniform study of various notions of machines, e.g. finite state
machines, multi-stack machines, Turing machines, valence automata, and weighted
automata. They are instances of Jacobs' notion of a T-automaton, where T is a
monad. We show that the generic language semantics for T-automata correctly
instantiates the usual language semantics for a number of known classes of
machines/languages, including regular, context-free, recursively-enumerable and
various subclasses of context free languages (e.g. deterministic and real-time
ones). Moreover, our approach provides new generic techniques for studying the
expressivity power of various machine-based models.Comment: final version accepted by TOC
Quasichemical Models of Multicomponent Nonlinear Diffusion
Diffusion preserves the positivity of concentrations, therefore,
multicomponent diffusion should be nonlinear if there exist non-diagonal terms.
The vast variety of nonlinear multicomponent diffusion equations should be
ordered and special tools are needed to provide the systematic construction of
the nonlinear diffusion equations for multicomponent mixtures with significant
interaction between components. We develop an approach to nonlinear
multicomponent diffusion based on the idea of the reaction mechanism borrowed
from chemical kinetics.
Chemical kinetics gave rise to very seminal tools for the modeling of
processes. This is the stoichiometric algebra supplemented by the simple
kinetic law. The results of this invention are now applied in many areas of
science, from particle physics to sociology. In our work we extend the area of
applications onto nonlinear multicomponent diffusion.
We demonstrate, how the mechanism based approach to multicomponent diffusion
can be included into the general thermodynamic framework, and prove the
corresponding dissipation inequalities. To satisfy thermodynamic restrictions,
the kinetic law of an elementary process cannot have an arbitrary form. For the
general kinetic law (the generalized Mass Action Law), additional conditions
are proved. The cell--jump formalism gives an intuitively clear representation
of the elementary transport processes and, at the same time, produces kinetic
finite elements, a tool for numerical simulation.Comment: 81 pages, Bibliography 118 references, a review paper (v4: the final
published version
- …