Related papers: Context-free rewriting systems and word-hyperbolic…

We find strictly ascending HNN extensions of finite rank free groups possessing a presentation 2-complex which is a non positively curved square complex. On showing these groups are word hyperbolic, we have by results of Wise and Agol that…

We prove that the class of linear context-free tree languages is not closed under inverse linear tree homomorphisms. The proof is by contradiction: we encode Dyck words into a context-free tree language and prove that its preimage under a…

Hyperproperties lift conventional trace-based languages from a set of execution traces to a set of sets of executions. From a formal-language perspective, these are sets of sets of words, namely hyperlanguages. Hyperautomata are based on…

We prove that every monoid $\mathrm{Mon}\langle a,b:a^{\alpha}b^{\beta}a^{\gamma}b^{\delta}=b\rangle$ admits a finite complete rewriting system. Furthermore we prove that $\mathrm{Mon}\langle a,b:ab^2a^2b^2=b\rangle$ is non-hopfian,…

In this paper we study rewriting systems for groups and monoids, focusing on situations where finite convergent systems may be difficult to find or do not exist. We consider systems which have no length increasing rules and are confluent…

Let $\Phi:F\rightarrow F$ be an automorphism of the finite-rank free group $F$. Suppose that $G=F\rtimes_\Phi\mathbb Z$ is word-hyperbolic. Then $G$ acts freely and cocompactly on a CAT(0) cube complex.

We prove several topological and dynamical properties of the boundary of a hierarchically hyperbolic group are independent of the specific hierarchically hyperbolic structure. This is accomplished by proving that the boundary is invariant…

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…

We consider some questions about formal languages that arise when inverses of letters, words and languages are defined. The reduced representation of a language over the free monoid is its unique equivalent representation in the free group.…

The hyperbolic structure on a 3-dimensional cone-manifold with a knot as singularity can often be deformed into a limiting Euclidean structure. In the present paper we show that the respective normalised Euclidean volume is always an…

For any finite collection $f_i$ of fully irreducible automorphisms of the free group $F_n$ we construct a connected $\delta$-hyperbolic $Out(F_n)$-complex in which each $f_i$ has positive translation length.

We study rewriting for equational theories in the context of symmetric monoidal categories where there is a separable Frobenius monoid on each object. These categories, also called hypergraph categories, are increasingly relevant: Frobenius…

String diagrams are a powerful and intuitive graphical syntax for terms of symmetric monoidal categories (SMCs). They find many applications in computer science and are becoming increasingly relevant in other fields such as physics and…

We describe a generic construction of non-wellfounded syntax involving variable binding and its monadic substitution operation. Our construction of the syntax and its substitution takes place in category theory, notably by using monoidal…

The aim of this note is to prove that monoids $\mathrm{Mon}\langle a,b:aUb=b\rangle$, with $aUb$ of relative length 6, admit finite complete rewriting systems. This is some advance in the understanding the long-standing open problem whether…

A group is Markov if it admits a prefix-closed regular language of unique representatives with respect to some generating set, and strongly Markov if it admits such a language of unique minimal-length representatives over every generating…

We discuss the linearity and discreteness of amalgamated products of linear word-hyperbolic groups. In particular, we prove that the double of an Anosov group along a maximal cyclic subgroup is always linear, and we construct examples of…

For a transitive sectional-hypebolic set $\Lambda$ with positive volume on a $d$-dimensional manifold $M$($d\ge3$), we show that $\Lambda=M$ and $\Lambda$ is a uniformly hyperbolic set without singularities

Coherence theorems for covariant structures carried by a category have traditionally relied on the underlying term rewriting system of the structure being terminating and confluent. While this holds in a variety of cases, it is not a…

Motivated by its applications to the word problem for one-relator inverse monoids, via results of Ivanov, Margolis, and Meakin (2001), we prove several decidability and undecidability results about the submonoid membership problem in…