Word for "can become a result"

Question

The process of running a program (or evaluating a λ-term) can either yield a result / value, get stuck (waiting for input), yield an error, or go on forever. Those that yield a result / value are called ??? / valuable.

While this does not correspond to the usual meanings of the word valuable, the fact that the word already exists and that the -able suffix is often used to mean "capable of", using valuable to mean "capable of becoming a value" feels quite natural.

Unfortunately, in my context, the term value is already used for something else and I therefore need another word to express the same thing. I have been using result but resultable sounds really weird.

I am therefore searching for two words A and B such that:

• an A is some sort of result (not including things that are stuck, but possibly including errors)
• A and B are clearly related
• B can be understood as "is capable of becoming an A" / "can become an A" / "can be evaluated to an A"

(A could also be an adjective, in which case "an A" should be replaced by "an A program" in the last item of the list)

Answer 1

When I teach this concept in the context of Turing Machines, I use the short phrases, "the function evaluates", or "the function loops". As far as I know, my students have not had problems understanding this shorthand, though I do define the terms for them the first time I use them.

Answer 2

A procedure or effort that results in an answer can be said to be "productive" in that it produces a (desirable?) product after a finite operation.

The term was given as a comment after a coughing "fit." The patient, attempting to clear some breathing obstruction, continued in-turn to inhale, cough, and repeat. Finally, the patient was successful and stopped coughing. The attending nurse announced, "That was productive." Simple term. It worked to describe the situation.

Productive

Answer 3

If the focus is on the question of “terminates” vs. “never terminates”, as is usual when discussing Turing Machines and computability, terminating or non-terminating are the words I usually see. If the focus is on the fact that the (presumably terminating) process returns a value vs. only runs for its side effects, I generally see function (returns a value) vs. procedure (no value returned), or the phrase value-returning.