1: \begin{abstract}

2:   The vertices of any (combinatorial) Kashiwara crystal graph carry a natural monoid structure given by identifying

3:   words labelling vertices that appear in the same position of isomorphic components of the crystal. We prove some

4:   foundational results for these crystal monoids, including the observation that they have decidable word problem when

5:   their weight monoid is a finite rank free abelian group. The problem of constructing finite complete rewriting

6:   systems, and biautomatic structures, for crystal monoids is then investigated. In the case of Kashiwara crystals of

7:   types $A_n$, $B_n$, $C_n$, $D_n$, and $G_2$ (corresponding to the $q$-analogues of the Lie algebras of these types)

8:   these monoids are precisely the generalised plactic monoids investigated in work of Lecouvey. We construct

9:   presentations via finite complete rewriting systems for all of these types using a unified proof strategy that depends

10:   on Kashiwara's crystal bases and analogies of Young tableaux, and on Lecouvey's presentations for these monoids. As

11:   corollaries, we deduce that plactic monoids of these types have finite derivation type and satisfy the homological

12:   finiteness properties left and right $\mathrm{FP}_\infty$. These rewriting systems are then applied to show that

13:   plactic monoids of these types are biautomatic and thus have word problem soluble in quadratic time.

14: \end{abstract}

15: