My question is as > follows: "What is the largest class that we can find a termination > procedure?". Perhaps that's a little misleading, but I don't know how to phrase it properly. Basically what is the largest class of languages that a terminating system can decide?