Solving the word problem in real time

Authors
Citation
Df. Holt et S. Rees, Solving the word problem in real time, J LOND MATH, 63, 2001, pp. 623-639
Citations number
8
Categorie Soggetti
Mathematics
Journal title
JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES
ISSN journal
00246107 → ACNP
Volume
63
Year of publication
2001
Part
3
Pages
623 - 639
Database
ISI
SICI code
0024-6107(200106)63:<623:STWPIR>2.0.ZU;2-V
Abstract
The paper is devoted to the study of groups whose word problem can be solve d by a Turing machine which operates in real time. A recent result of the f irst author for word hyperbolic groups is extended to prove that under cert ain conditions the generalised Dehn algorithms of Cannon, Goodman and Shapi ro, which clearly run in linear time, can be programmed on real-time Turing machines. It follows that word-hyperbolic groups, finitely generated nilpo tent groups and geometrically finite hyperbolic groups all have real-time w ord problems.