scholarly journals Crossed Product of Infinite Groups and Complete Rewriting Systems

2021 ◽  
Keyword(s):  
Crossed Product ◽  
Infinite Groups ◽  
Rewriting Systems

Growth series of crossed and two-sided crossed products of cyclic groups

2018 ◽  
Vol 68 (3) ◽  
pp. 537-548 ◽  
Author(s):  
Eylem Güzel Karpuz ◽  
Esra Kirmizi Çetinalp
Keyword(s):  
Normal Forms ◽  
Crossed Product ◽  
Crossed Products ◽  
Growth Series ◽  
Cyclic Groups ◽  
Rewriting Systems ◽  
Product Construction

Abstract We recall that the two-sided crossed product of finite cyclic groups is actually a generalization of the crossed product construction of the same type of groups (cf. [10]). In this paper, by considering the crossed and two-sided crossed products obtained from both finite and infinite cyclic groups, we first present the complete rewriting systems and normal forms of elements over crossed products. (We should note that the complete rewriting systems and normal forms of elements over two-sided crossed products have been recently defined in [10]). In the crossed product case, we will consider their presentations that were given in [2]. As a next step, by using the normal forms of elements of these two products, we calculate the growth series of the crossed product of different combinations of finite and infinite cyclic groups as well as the growth series of two-sided crossed product of finite cyclic groups.

Tree Rewriting Systems, Combinatory Weak Reduction Systems and Type Free Languages1

1982 ◽  
Vol 5 (3-4) ◽  
pp. 279-299
Author(s):  
Alberto Pettorossi
Keyword(s):  
Combinatory Logic ◽  
Rewriting Systems ◽  
Tree Transducers ◽  
Tree Languages ◽  
One To One ◽  
The One ◽  
Weak Reduction

In this paper we consider combinators as tree transducers: this approach is based on the one-to-one correspondence between terms of Combinatory Logic and trees, and on the fact that combinators may be considered as transformers of terms. Since combinators are terms themselves, we will deal with trees as objects to be transformed and tree transformers as well. Methods for defining and studying tree rewriting systems inside Combinatory Weak Reduction Systems and Weak Combinatory Logic are also analyzed and particular attention is devoted to the problem of finiteness and infinity of the generated tree languages (here defined). This implies the study of the termination of the rewriting process (i.e. reduction) for combinators.

scholarly journals Diamond Subgraphs in the Reduction Graph of a One-Rule String Rewriting System

2021 ◽  
Vol 178 (3) ◽  
pp. 173-185
Author(s):  
Arthur Adinayev ◽  
Itamar Stein
Keyword(s):  
Isomorphism Problem ◽  
Complete Characterization ◽  
Hasse Diagram ◽  
Subgraph Isomorphism ◽  
Rewriting Systems ◽  
Rewriting System ◽  
String Rewriting ◽  
Reduction Graph

In this paper, we study a certain case of a subgraph isomorphism problem. We consider the Hasse diagram of the lattice Mk (the unique lattice with k + 2 elements and one anti-chain of length k) and find the maximal k for which it is isomorphic to a subgraph of the reduction graph of a given one-rule string rewriting system. We obtain a complete characterization for this problem and show that there is a dichotomy. There are one-rule string rewriting systems for which the maximal such k is 2 and there are cases where there is no maximum. No other intermediate option is possible.

PATTERN MATCHING CODE MINIMIZATION IN REWRITING-BASED PROGRAMMING LANGUAGES

2002 ◽  
Vol 13 (06) ◽  
pp. 873-887
Author(s):  
NADIA NEDJAH ◽  
LUIZA DE MACEDO MOURELLE
Keyword(s):  
Programming Languages ◽  
Pattern Matching ◽  
Term Rewriting ◽  
Directed Acyclic Graphs ◽  
Tree Automaton ◽  
Minimal Tree ◽  
Term Rewriting Systems ◽  
Rewriting Systems ◽  
Acyclic Graphs ◽  
Space Requirements

We compile pattern matching for overlapping patterns in term rewriting systems into a minimal, tree matching automata. The use of directed acyclic graphs that shares all the isomorphic subautomata allows us to reduce space requirements. These are duplicated in the tree automaton. We design an efficient method to identify such subautomata and avoid duplicating their construction while generating the dag automaton. We compute some bounds on the size of the automata, thereby improving on previously known equivalent bounds for the tree automaton.

scholarly journals Semigroups with few endomorphisms

1969 ◽  
Vol 10 (1-2) ◽  
pp. 162-168 ◽  
Author(s):  
Vlastimil Dlab ◽  
B. H. Neumann
Keyword(s):  
Cyclic Group ◽  
Finite Groups ◽  
Automorphism Groups ◽  
Infinite Groups ◽  
Infinite Cyclic Group

Large finite groups have large automorphism groups [4]; infinite groups may, like the infinite cyclic group, have finite automorphism groups, but their endomorphism semigroups are infinite (see Baer [1, p. 530] or [2, p. 68]). We show in this paper that the corresponding propositions for semigroups are false.

Sign in / Sign up

Export Citation Format

Share Document