On 08/20/2010 03:08 PM, bartekltg wrote:
> On 20 Sie, 10:50, Segmentation Fault <c...@o...eu> wrote:
>
>> Hm, jest taki program na tablicy
BUW:http://www.mimuw.edu.pl/rozne/stare/tablica.html
>>
>> niestety nie udało mi się wygalować zdjęcia gdzie jest czytelny :(
>
> http://pl.wikipedia.org/wiki/Problem_Collatza
>
>
>> anyway, maszyna Turinga która go liczy ma skończony alfabet i skończoną
>> liczbę stanów.
>
> Startowa liczba moze być dowolnie duza, wiec potrzeba nieskoncoznej
> tasmy lub nieskonczonej liczby stanow.
>

Tak, taśma nieskończona, skończona liczba stanów i symboli. Do takiej
maszyny był ten dowód.