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