1: \begin{abstract}

2: 	We explore natural classes of finitely generated semigroups that have 

3:     word problem decidable by synchronous or asynchronous two-tape finite state

4:     automata.

5:     Synchronous two-tape automata decide \emph{regular word problems} and 

6:     asynchronous automata decide \emph{rational word problems}. 

7:     We argue that asynchronous two-tape automata are a more suitable choice than

8:     synchronous two-tape automata and show that the word problem being rational

9:     is invariant under change of generating set and some basic algebraic

10: 	constructions. We also examine some algebraic properties of semigroups 

11:     with rational word problem.

12: \end{abstract}

13: