> > Ciekawszym tematem jest napisanie programu, np. w C, do sprawdzania poprawności
innego programu, np. w C.
>
> Dlaczego? Na MT też można napisać program w C, jakie różnice masz
> na myśli?

Różnice są takie, jak pomiędzy Computer Science a Software Engineering.
Computer Science mówi, że czegoś tam się w ogólności nie da zrobić na maszynie
Turinga a Software Engineering mówi, że coś szczególnego da się zrobić np. w C.
I to jest różnica pomiędzy teorią a praktyką (w temacie sprawdzania poprawności).

--
Maciej Sobczak * http://www.inspirel.com