The Library
On real-time word problems
Tools
Tools
Tools
UNSPECIFIED. (2003) On real-time word problems. JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES, 67 (Part 2). pp. 289-301. ISSN 0024-6107
Full text not available from this repository.
Official URL: http://dx.doi.org/10.1112/S0024610702003770
Abstract
It is proved that the word problem of the direct product Of two free groups of rank 2 can be recognised by a 2-tape real-time but not by a 1-tape real-time Turing machine. It is also proved that the Baumslag-Solitar groups B(1, r) have the 5-tape real-time word problem for all r not equal 0.
| Item Type: | Journal Article |
|---|---|
| Subjects: | Q Science > QA Mathematics |
| Journal or Publication Title: | JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES |
| Publisher: | LONDON MATH SOC |
| ISSN: | 0024-6107 |
| Date: | April 2003 |
| Volume: | 67 |
| Number: | Part 2 |
| Number of Pages: | 13 |
| Page Range: | pp. 289-301 |
| Identification Number: | 10.1112/S0024610702003770 |
| Publication Status: | Published |
| URI: | http://wrap.warwick.ac.uk/id/eprint/9759 |
Data sourced from Thomson Reuters' Web of Knowledge
Actions (login required)
 |
View Item |
