Word problem (computability)
Redirect to:
Decision problem