# Real Computational Universality: The Word Problem for a Class of Groups with Infinite Presentation

@article{Meer2006RealCU, title={Real Computational Universality: The Word Problem for a Class of Groups with Infinite Presentation}, author={Klaus Meer and Martin Ziegler}, journal={Foundations of Computational Mathematics}, year={2006}, volume={9}, pages={599-609} }

The word problem for discrete groups is well known to be undecidable by a Turing Machine; more precisely, it is reducible both to and from and thus equivalent to the discrete Halting Problem. The present work introduces and studies a real extension of the word problem for a certain class of groups which are presented as quotient groups of a free group and a normal subgroup. As a main difference to discrete groups these groups may be generated by uncountably many generators with index running…

## 3 Citations

### A Hierarchy below the Halting Problem for Additive Machines

- Mathematics, EconomicsTheory of Computing Systems
- 2007

A hierarchy below the Halting Problem is defined such that the set of rational numbers is strictly easier than the new problems, and every problem of the hierarchy is strictly harder than its successor.

### Generalized finite automata over real and complex numbers

- Computer Science, MathematicsTheor. Comput. Sci.
- 2015

## References

SHOWING 1-10 OF 43 REFERENCES

### Uncomputability Below the Real Halting Problem

- Computer ScienceCiE
- 2006

A real variant of the classical word problem for groups is presented which is established reducible to and from the real Halting Problem and how additional real constants increase the power of a BSS machine is analyzed.

### On a theory of computation and complexity over the real numbers: $NP$- completeness, recursive functions and universal machines

- Mathematics
- 1989

We present a model for computation over the reals or an arbitrary (ordered) ring R. In this general setting, we obtain universal machines, partial recursive functions, as well as JVP-complete…

### Recursiveness over the Complex Numbers is Time-Bounded

- MathematicsFSTTCS
- 1993

The aim of this note is to show that over the complex numbers the situation regarding time bounded recursive sets turns out to be the Boolean one, i.e. without running time bounds for any machine solving them.

### An explicit solution to Post's Problem over the reals

- Computer Science, MathematicsJ. Complex.
- 2005

### Ordered rings over which output sets are recursively enumerable sets

- Mathematics
- 1991

In a recent paper [BSS], L. Blum, M. Shub, and S. Smale developed a theory of computation over the reals and over commutative ordered rings ; in 9 of [BSS] they showed that over the reals (and over…

### Groups and computation

- Mathematics
- 1993

Computing composition series in primitive groups by L. Babai, E. M. Luks, and A. Seress Computing blocks of imprimitivity for small-base groups in nearly linear time by R. Beals Fast Fourier…

### Groups with Context‐Free Co‐Word Problem

- Mathematics, Computer Science
- 2005

It is proved that languages with certain purely arithmetical properties cannot be context‐free by proving that the only examples amongst polycyclic groups or the Baumslag–Solitar groups are virtually abelian.

### The P-DNP problem for infinite Abelian groups

- Mathematics
- 2001

Abstract We consider a uniform model of computation for groups. This is a generalization of the Blum–Shub–Smale model over the additive group of real numbers. We show that the inequalities P ≠ DNP…

### Subgroups of finitely presented groups

- MathematicsProceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences
- 1961

The main theorem of this paper states that a finitely generated group can be embedded in a finitely presented group if and only if it has a recursively enumerable set of defining relations. It…