Decision problems in group theory

At the 1976 Oxford Conference, Aanderaa introduced a new class of machines which he called F machines (later renamed as modular machines). Using these he gave two remarkably short and easy examples of finitely presented groups with unsolvable word problem. Both of these examples, together with an exposition of modula