Related papers: A context-free and a 1-counter geodesic language f…
We study the full language of quasigeodesics in Cayley graphs, with fixed error constants. We show that, given a non-virtually-cyclic nilpotent group or Baumslag--Solitar group, and any finite generating set, such languages fail to be…
We study languages of geodesics in lamplighter groups and Thompson's group F. We show that the lamplighter groups $L_n$ have infinitely many cone types, have no regular geodesic languages, and have 1-counter, context-free and counter…
The Baumslag-Solitar groups: BS(m,n)=<x,y| x y^{m} x^{-1} = y^{n}> are some of the simplest interesting infinite groups which are not lattices in Lie groups. They have been studied in depth from the point of view of combinatorial group…
We present a method for approximating context-free languages with one-counter automata. This approximation allows the reconstruction of parse trees of the original grammar. We identify a decidable superset of regular languages whose…
In this article we show that every group with a finite presentation satisfying one or both of the small cancellation conditions $C'(1/6)$ and $C'(1/4)-T(4)$ has the property that the set of all geodesics (over the same generating set) is a…
We introduce a new isomorphism invariant for generalized Baumslag-Solitar (GBS) groups, which we call the limit angle. Unlike previously known invariants, which are primarily algebraic, the limit angle admits a dynamical interpretation,…
We introduce the peak normal form of elements of the Baumslag-Solitar groups BS(p,q). This normal form is very close to the length-lexicographical normal form, but more symmetric. Both normal forms are geodesic. This means the normal form…
We prove that a subset of a virtually free group is rational if and only if the language of geodesic words representing its elements (in any generating set) is rational and that the language of geodesics representing conjugates of elements…
In this article, we study the space of subgroups of generalized Baumslag-Solitar groups (GBS groups), that is, groups acting cocompactly on an oriented tree without inversion and with infinite cyclic vertex and edge stabilizers. Our results…
In this article, we study the space of subgroups of non-amenable generalized Baumslag-Solitar groups (GBS groups) of rank $d$, that is, groups acting cocompactly on an oriented tree with vertex and edge stabilizers isomorphic to…
We prove (using grammars) that the free inverse monoid of every finite rank has co-context-free word problem. Equivalently, the co-word problem of the free inverse monoid of every finite rank is context-free.
Context-free languages can be characterized in several ways. This article studies projective linearisations of languages of simple dependency trees, i.e., dependency trees in which a node can govern at most one node with a given syntactic…
We classify the finite-dimensional irreducible linear representations of the Baumslag-Solitar groups BS(p,q) = < a, b | a b^p = b^q a > for relatively prime p and q. The general strategy of the argument is to consider the matrix group given…
In this paper, we continue the research on the power of contextual grammars with selection languages from subfamilies of the family of regular languages. We investigate various comet-like types of languages and compare such language…
Let $G$ be a finitely generated group, $A$ a finite set of generators and $K$ a subgroup of $G$. We call the pair $(G,K)$ context-free if the set of all words over $A$ that reduce in $G$ to an element of $K$ is a context-free language. When…
We study subsets $E$ of finitely generated groups where the set of all words over a given finite generating set that lie in $E$ forms a context-free language. We call these sets recognisably context-free. They are invariant of the choice of…
We prove that for any natural n>1, the abstract commensurator group of the Baumslag - Solitar group BS(1,n) is isomorphic to the group of 2 by 2 upper triangular matrices A over rational numbers with A_{11}=1. We also prove that for any…
In this paper, we give a complete description of the language of geodesic words for the discrete Heisenberg group $H(\mathbb{Z})$ with respect to the standard two-element generating set. More precisely, we prove that the only dead end…
This paper considers the word problem for free inverse monoids of finite rank from a language theory perspective. It is shown that no free inverse monoid has context-free word problem; that the word problem of the free inverse monoid of…
In this note we characterise all finitely generated groups elementarily equivalent to a solvable Baumslag-Solitar group BS$(1,n)$. It turns out that a finitely generated group $G$ is elementarily equivalent to BS$(1,n)$ if and only if $G$…