Multipass automata and group word problems

We introduce the notion of multipass automata as a generalization of pushdown automata and study the classes of languages accepted by such machines. The class of languages accepted by deterministic multipass automata is exactly the Boolean closure of the class of deterministic context-free languages while the class of languages accepted by nondeterministic multipass automata is exactly the class of poly-context-free languages, that is, languages which are the intersection of finitely many context-free languages. We illustrate the use of these automata by studying groups whose word problems are in the above classes

An alternative proof that the Fibonacci group F(2,9) is infinite

This note contains a report of a proof by computer that the Fibonacci group F(2,9) is automatic. The automatic structure can be used to solve the word problem in the group. Furthermore, it can be seen directly from the word-acceptor that the group generators have infinite order, which of course implies that the group itself is infinite.Comment: LaTex, 3 pages, no figures. To appear in Experimental Mathematic

A finitely presented orderable group with insoluble word problem

We construct a finitely presented (two-sided) totally orderable group with insoluble word problem.Comment: 17 page

On the complexity of the Whitehead minimization problem

The Whitehead minimization problem consists in finding a minimum size element in the automorphic orbit of a word, a cyclic word or a finitely generated subgroup in a finite rank free group. We give the first fully polynomial algorithm to solve this problem, that is, an algorithm that is polynomial both in the length of the input word and in the rank of the free group. Earlier algorithms had an exponential dependency in the rank of the free group. It follows that the primitivity problem -- to decide whether a word is an element of some basis of the free group -- and the free factor problem can also be solved in polynomial time.Comment: v.2: Corrected minor typos and mistakes, improved the proof of the main technical lemma (Statement 2.4); added a section of open problems. 30 page