on termination

Eray Ozkural erayo@cs.bilkent.edu.tr
Thu, 15 May 2003 14:27:01 +0300

On Thursday 15 May 2003 10:23, Cagdas Ozgenc wrote:
> I always thought in a similar fashion. But literature insists that the
> decidability is always measured with respect to a Turing Machine. Thus, I
> was unable to communicate to many other people on the usenet.


But, the real question you are asking doesn't seem to be quite trivial Cagdas.


Eray Ozkural (exa) <erayo@cs.bilkent.edu.tr>
Comp. Sci. Dept., Bilkent University, Ankara  KDE Project: http://www.kde.org
www: http://www.cs.bilkent.edu.tr/~erayo  Malfunction: http://mp3.com/ariza
GPG public key fingerprint: 360C 852F 88B0 A745 F31B  EA0F 7C07 AE16 874D 539C