3 problems
Let be the group–space pair whose patterns are being studied, and let a pattern be a sequence encoded by parenthesized blocks; within a block, or den…
Let be a word-hyperbolic group. An automatic structure for has property R when its accepting automaton is both undirected and Perron–Frobenius, meaning that the adjacency m…
Shephard groups' bi-automaticity conjecture. Every Shephard group is bi-automatic. The conjecture extends analogous conjectures for Artin and Coxeter groups. The paper proves it fo…