1: \begin{abstract}

2: We develop a combinatorial approach to the study of semigroups and monoids 

3: with finite presentations satisfying small overlap conditions. In contrast 

4: to existing geometric methods, our approach facilitates a sequential

5: left-right analysis of words which lends itself to the development of

6: practical, efficient computational algorithms. In particular, we obtain a highly

7: practical linear time solution to the word problem for monoids and semigroups

8: with finite presentations satisfying the condition $C(4)$, and a polynomial

9: time solution to the uniform word problem for presentations satisfying the

10: same condition.

11: \end{abstract}

12: