Beginning C++ in FreeBSD

Dag-Erling Smørgrav des at des.no
Wed Apr 28 07:30:28 PDT 2004


Sergey Zaharchenko <doublef at tele-kom.ru> writes:
> If the thesis sounds like
>
>> Any algorithm that can be written in one Turing-complete language can
>> be written in another Turing-complete language.
>
> then I think I understand it.

No.  A language is Turing-complete if it can be used to implement a
universal Turing machine.  What you quote is merely a consequence of
Turing-completeness, not its definition.

> In the functional way (`what it can do') C is not different from C++, as
> you all are pointing out (so I'm not trying to persuade you Turing was
> wrong). It's different in what it allows you to inform the system (the
> linker, for instance) about (and it will learn that *before* any actual
> algorithm of yours is executed).

The operating system, the C++ compiler and the linker are all written
in C, and using C, you can write an emulator for the computer, on
which the OS, C++ compiler and linker will behave exactly as you
expect.

DES
-- 
Dag-Erling Smørgrav - des at des.no


More information about the freebsd-chat mailing list