Vlákno názorů k článku Co je to nenaprogramovatelné? od Vladimir Kadlec - Podle mne TS cykli a generuje posloupnost: a[0]=3 a[1]=5 a[n]=a[n-1]+a[n-2]-n+2 nebo nejakou...

Podle mne TS cykli a generuje posloupnost:
a[0]=3
a[1]=5
a[n]=a[n-1]+a[n-2]-n+2
nebo nejakou variaci na tohle tema. Ja tohle cislo ziskal jako pocet "hor" nebo "vrcholku", ktere TS nakresli pri simulaci pomoci sedu a kresleni pomoci stavu S1 ;-)
P.S. V clanku je asi preklep v tech sedovych pravidlech (pokud teda maji predstavovat ten puvodni TS), pravidlo cislo 10:
s/(S3)1/1(S5)/
(puvodne tam je misto S3 S5)

Nevím co řešíte, když se program nemůže zastavit , tak tu máme přece čudlík na restart či vypnutí počítače.
Opravdu nechápu o co Vám všem GO !

jeste jsem to nekontroloval, ale na chybu to opravdu vypada. Otazka vsak stale zustava: Co udela tento stroj:
0 1
-------------
(S1): (S2)1R (S6)0L
(S2): (S3)0R (S4)0R
(S3): (S4)1L (S5)1R
(S4): (S5)0L (S4)0L
(S5): (S1)0R (S3)1R
(S6): (S1)1L (S7)1R
(S7): Stop Stop

s nekonecnou - obousmernou paskou - v pocatku same nuly