8,400 research outputs found
Key-agreement based on automaton groups
We suggest several automaton groups as key-agreement platforms for Anshl-Anshel-Goldfeld metascheme, they include Grigorchuk and universal Grigorchuk groups, Hanoi 3-Towers group, Basilica group and a subgroup of the affine group with the unsolvable conjugacy proble
DEBS Grand Challenge: Glasgow Automata Illustrated
The challenge is solved using Glasgow automata, concise complex event processing engines executable in the context of a topic-based publish/subscribe cache of event streams and relations. The imperative programming style of the Glasgow Automaton Programming Language (GAPL) enables multiple, efficient realisations of the two challenge queries
On an algorithm to decide whether a free group is a free factor of another
We revisit the problem of deciding whether a finitely generated subgroup H is
a free factor of a given free group F. Known algorithms solve this problem in
time polynomial in the sum of the lengths of the generators of H and
exponential in the rank of F. We show that the latter dependency can be made
exponential in the rank difference rank(F) - rank(H), which often makes a
significant change.Comment: 20 page
On the group of a rational maximal bifix code
We give necessary and sufficient conditions for the group of a rational
maximal bifix code to be isomorphic with the -group of , when
is recurrent and is rational. The case where is uniformly
recurrent, which is known to imply the finiteness of , receives
special attention.
The proofs are done by exploring the connections with the structure of the
free profinite monoid over the alphabet of
Local Causal States and Discrete Coherent Structures
Coherent structures form spontaneously in nonlinear spatiotemporal systems
and are found at all spatial scales in natural phenomena from laboratory
hydrodynamic flows and chemical reactions to ocean, atmosphere, and planetary
climate dynamics. Phenomenologically, they appear as key components that
organize the macroscopic behaviors in such systems. Despite a century of
effort, they have eluded rigorous analysis and empirical prediction, with
progress being made only recently. As a step in this, we present a formal
theory of coherent structures in fully-discrete dynamical field theories. It
builds on the notion of structure introduced by computational mechanics,
generalizing it to a local spatiotemporal setting. The analysis' main tool
employs the \localstates, which are used to uncover a system's hidden
spatiotemporal symmetries and which identify coherent structures as
spatially-localized deviations from those symmetries. The approach is
behavior-driven in the sense that it does not rely on directly analyzing
spatiotemporal equations of motion, rather it considers only the spatiotemporal
fields a system generates. As such, it offers an unsupervised approach to
discover and describe coherent structures. We illustrate the approach by
analyzing coherent structures generated by elementary cellular automata,
comparing the results with an earlier, dynamic-invariant-set approach that
decomposes fields into domains, particles, and particle interactions.Comment: 27 pages, 10 figures;
http://csc.ucdavis.edu/~cmg/compmech/pubs/dcs.ht
- …