2,633 research outputs found
Random Generation and Enumeration of Accessible Determinisitic Real-time Pushdown Automata
This papers presents a general framework for the uniform random generation of
deterministic real-time accessible pushdown automata. A polynomial time
algorithm to randomly generate a pushdown automaton having a fixed stack
operations total size is proposed. The influence of the accepting condition
(empty stack, final state) on the reachability of the generated automata is
investigated.Comment: Frank Drewes. CIAA 2015, Aug 2015, Umea, Sweden. Springer, 9223,
pp.12, 2015, Implementation and Application of Automata - 20th International
Conferenc
On the Uniform Random Generation of Non Deterministic Automata Up to Isomorphism
In this paper we address the problem of the uniform random generation of non
deterministic automata (NFA) up to isomorphism. First, we show how to use a
Monte-Carlo approach to uniformly sample a NFA. Secondly, we show how to use
the Metropolis-Hastings Algorithm to uniformly generate NFAs up to isomorphism.
Using labeling techniques, we show that in practice it is possible to move into
the modified Markov Chain efficiently, allowing the random generation of NFAs
up to isomorphism with dozens of states. This general approach is also applied
to several interesting subclasses of NFAs (up to isomorphism), such as NFAs
having a unique initial states and a bounded output degree. Finally, we prove
that for these interesting subclasses of NFAs, moving into the Metropolis
Markov chain can be done in polynomial time. Promising experimental results
constitute a practical contribution.Comment: Frank Drewes. CIAA 2015, Aug 2015, Umea, Sweden. Springer, 9223,
pp.12, 2015, Implementation and Application of Automata - 20th International
Conferenc
A large deviations principle for the Maki-Thompson rumour model
We consider the stochastic model for the propagation of a rumour within a
population which was formulated by Maki and Thompson. Sudbury established that,
as the population size tends to infinity, the proportion of the population
never hearing the rumour converges in probability to . Watson later
derived the asymptotic normality of a suitably scaled version of this
proportion. We prove a corresponding large deviations principle, with an
explicit formula for the rate function.Comment: 18 pages, 2 figure
Asymptotic enumeration of Minimal Automata
We determine the asymptotic proportion of minimal automata, within n-state
accessible deterministic complete automata over a k-letter alphabet, with the
uniform distribution over the possible transition structures, and a binomial
distribution over terminal states, with arbitrary parameter b. It turns out
that a fraction ~ 1-C(k,b) n^{-k+2} of automata is minimal, with C(k,b) a
function, explicitly determined, involving the solution of a transcendental
equation.Comment: 12+5 pages, 2 figures, submitted to STACS 201
On the Uniform Random Generation of Determinisitic Partially Ordered Automata using Monte Carlo Techniques
Partially ordered automata are finite automata admitting no simple loops of length greater than or equal to 2. In this paper we show how to randomly and uniformly generate deterministic accessible partially ordered automata using Monte-Carlo techniques
ADAM: Analysis of Discrete Models of Biological Systems Using Computer Algebra
Background: Many biological systems are modeled qualitatively with discrete
models, such as probabilistic Boolean networks, logical models, Petri nets, and
agent-based models, with the goal to gain a better understanding of the system.
The computational complexity to analyze the complete dynamics of these models
grows exponentially in the number of variables, which impedes working with
complex models. Although there exist sophisticated algorithms to determine the
dynamics of discrete models, their implementations usually require
labor-intensive formatting of the model formulation, and they are oftentimes
not accessible to users without programming skills. Efficient analysis methods
are needed that are accessible to modelers and easy to use. Method: By
converting discrete models into algebraic models, tools from computational
algebra can be used to analyze their dynamics. Specifically, we propose a
method to identify attractors of a discrete model that is equivalent to solving
a system of polynomial equations, a long-studied problem in computer algebra.
Results: A method for efficiently identifying attractors, and the web-based
tool Analysis of Dynamic Algebraic Models (ADAM), which provides this and other
analysis methods for discrete models. ADAM converts several discrete model
types automatically into polynomial dynamical systems and analyzes their
dynamics using tools from computer algebra. Based on extensive experimentation
with both discrete models arising in systems biology and randomly generated
networks, we found that the algebraic algorithms presented in this manuscript
are fast for systems with the structure maintained by most biological systems,
namely sparseness, i.e., while the number of nodes in a biological network may
be quite large, each node is affected only by a small number of other nodes,
and robustness, i.e., small number of attractors
- …