26,626 research outputs found
Finite complete rewriting systems for regular semigroups
It is proved that, given a (von Neumann) regular semigroup with finitely many
left and right ideals, if every maximal subgroup is presentable by a finite
complete rewriting system, then so is the semigroup. To achieve this, the
following two results are proved: the property of being defined by a finite
complete rewriting system is preserved when taking an ideal extension by a
semigroup defined by a finite complete rewriting system; a completely 0-simple
semigroup with finitely many left and right ideals admits a presentation by a
finite complete rewriting system provided all of its maximal subgroups do.Comment: 11 page
Reduction Operators and Completion of Rewriting Systems
We propose a functional description of rewriting systems where reduction
rules are represented by linear maps called reduction operators. We show that
reduction operators admit a lattice structure. Using this structure we define
the notion of confluence and we show that this notion is equivalent to the
Church-Rosser property of reduction operators. In this paper we give an
algebraic formulation of completion using the lattice structure. We relate
reduction operators and Gr\"obner bases. Finally, we introduce generalised
reduction operators relative to non total ordered sets
On insertion-deletion systems over relational words
We introduce a new notion of a relational word as a finite totally ordered
set of positions endowed with three binary relations that describe which
positions are labeled by equal data, by unequal data and those having an
undefined relation between their labels. We define the operations of insertion
and deletion on relational words generalizing corresponding operations on
strings. We prove that the transitive and reflexive closure of these operations
has a decidable membership problem for the case of short insertion-deletion
rules (of size two/three and three/two). At the same time, we show that in the
general case such systems can produce a coding of any recursively enumerable
language leading to undecidabilty of reachability questions.Comment: 24 pages, 8 figure
Length-Based Attacks for Certain Group Based Encryption Rewriting Systems
In this note, we describe a probabilistic attack on public key cryptosystems
based on the word/conjugacy problems for finitely presented groups of the type
proposed recently by Anshel, Anshel and Goldfeld. In such a scheme, one makes
use of the property that in the given group the word problem has a polynomial
time solution, while the conjugacy problem has no known polynomial solution. An
example is the braid group from topology in which the word problem is solvable
in polynomial time while the only known solutions to the conjugacy problem are
exponential. The attack in this paper is based on having a canonical
representative of each string relative to which a length function may be
computed. Hence the term length attack. Such canonical representatives are
known to exist for the braid group
Towards 3-Dimensional Rewriting Theory
String rewriting systems have proved very useful to study monoids. In good
cases, they give finite presentations of monoids, allowing computations on
those and their manipulation by a computer. Even better, when the presentation
is confluent and terminating, they provide one with a notion of canonical
representative of the elements of the presented monoid. Polygraphs are a
higher-dimensional generalization of this notion of presentation, from the
setting of monoids to the much more general setting of n-categories. One of the
main purposes of this article is to give a progressive introduction to the
notion of higher-dimensional rewriting system provided by polygraphs, and
describe its links with classical rewriting theory, string and term rewriting
systems in particular. After introducing the general setting, we will be
interested in proving local confluence for polygraphs presenting 2-categories
and introduce a framework in which a finite 3-dimensional rewriting system
admits a finite number of critical pairs
Proving Termination of Graph Transformation Systems using Weighted Type Graphs over Semirings
We introduce techniques for proving uniform termination of graph
transformation systems, based on matrix interpretations for string rewriting.
We generalize this technique by adapting it to graph rewriting instead of
string rewriting and by generalizing to ordered semirings. In this way we
obtain a framework which includes the tropical and arctic type graphs
introduced in a previous paper and a new variant of arithmetic type graphs.
These type graphs can be used to assign weights to graphs and to show that
these weights decrease in every rewriting step in order to prove termination.
We present an example involving counters and discuss the implementation in the
tool Grez
- …