14 May
2003
14 May
'03
7:59 a.m.
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?