Word problem (computability)


Word problem (computability) is a decision problem.