1: \begin{abstract}

2: We study the existence of automatic presentations for various

3: algebraic structures. An automatic presentation of a structure is a description

4: of the universe of the structure by a regular set of words, and the

5: interpretation of the relations by synchronised automata.  Our first topic

6: concerns characterising classes of automatic structures. 

7: We supply a characterisation of the automatic Boolean algebras, and it is

8: proven that the free Abelian group of infinite rank, as well as certain

9: Fra{\"\i}ss{\'e} limits, do not have automatic presentations. In particular, the

10: countably infinite random graph and the random partial order do not have

11: automatic presentations. Furthermore, no infinite integral domain is automatic.

12: Our second topic is the isomorphism problem. We prove that the

13: complexity of the isomorphism problem for the class of all automatic structures

14: is $\Sigma_1^1$-complete.

15: \end{abstract}

16: