Urn automata are a new class of automata consisting of an input tape, a finite-state controller, and an urn containing tokens with a finite set of colors, where the finite-state controller can sample and replace tokens in the urn but cannot control which tokens it receives. We consider the computational power of urn automata, showing that an urn automaton with O(f(n)) tokens can, with high probability, simulate a probabilistic Turing machine using O(log f(n)) space and vice versa, as well as giving several technical results showing that the computational power of urn automata is not affected by variations in parameters such as the size of the state space, the number of tokens sampled per step, and so forth. Motivated by problems in distributed computing, we consider a special class of urn automata called pairing automata that model systems of finite-state machines that interact through random pairwise encounters. We show that pairing automata recognize precisely the symmetric languages recognized by urn automata.
[1]
Hagen Völzer.
Randomized Non-sequential Processes
,
2001,
CONCUR.
[2]
Robin Milner,et al.
Bigraphical reactive systems: basic theory
,
2001
.
[3]
Javier Esparza,et al.
Decidability and Complexity of Petri Net Problems - An Introduction
,
1996,
Petri Nets.
[4]
Mogens Nielsen,et al.
Decidability Issues for Petri Nets - a survey
,
1994,
Bull. EATCS.
[5]
Gérard Berry,et al.
The chemical abstract machine
,
1989,
POPL '90.
[6]
Béla Bollobás,et al.
Random Graphs
,
1985
.
[7]
Daniel Brand,et al.
On Communicating Finite-State Machines
,
1983,
JACM.
[8]
Marvin Minsky,et al.
Computation : finite and infinite machines
,
2016
.
[9]
Graham Higman,et al.
Ordering by Divisibility in Abstract Algebras
,
1952
.