on termination (little correction)

Cagdas Ozgenc co19@cornell.edu
Wed, 14 May 2003 14:59:50 +0300

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?