-
Path: news-archive.icm.edu.pl!news.icm.edu.pl!news.nask.pl!news.nask.org.pl!news.uni-
stuttgart.de!news.belwue.de!kanaga.switch.ch!switch.ch!feeder.news-service.com!
feeder.news-service.com!postnews.google.com!w30g2000yqw.googlegroups.com!not-fo
r-mail
From: "Marcin 'Qrczak' Kowalczyk" <q...@k...org.pl>
Newsgroups: pl.comp.programming
Subject: Re: Algorytm do rozstrzygania problemu stopu dowolnej MT
Date: Sat, 21 Aug 2010 00:52:57 -0700 (PDT)
Organization: http://groups.google.com
Lines: 37
Message-ID: <c...@w...googlegroups.com>
References: <7...@y...googlegroups.com>
<b...@t...googlegroups.com>
<6...@d...googlegroups.com>
NNTP-Posting-Host: 83.7.204.215
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-2
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1282377177 19320 127.0.0.1 (21 Aug 2010 07:52:57 GMT)
X-Complaints-To: g...@g...com
NNTP-Posting-Date: Sat, 21 Aug 2010 07:52:57 +0000 (UTC)
Complaints-To: g...@g...com
Injection-Info: w30g2000yqw.googlegroups.com; posting-host=83.7.204.215;
posting-account=Y4cAXQoAAAAv8UBiA5Li4Y_naLKJKxAx
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (X11; U; Linux x86_64; en-US) AppleWebKit/534.3 (KHTML,
like Gecko) Ubuntu/10.04 Chromium/6.0.472.36 Chrome/6.0.472.36
Safari/534.3,gzip(gfe)
Xref: news-archive.icm.edu.pl pl.comp.programming:186625
[ ukryj nagłówki ]On Aug 20, 9:50 pm, Mariusz Marszałkowski <m...@g...com> wrote:
> Myślę że nie trzeba zawartości całej taśmy. Wystarczą dwie
> wartość z taśmy: z komórki na której jest głowica przed i
> po wykonaniu instrukcji.
W takim razie nie rozumiem, w jaki sposób chcesz rozstrzygać, że
maszyna się zapętliła.
> Jeśli pojawią się obok siebie dwie identyczne permutacje szóstek
> oznacza to że maszyna się zapętliła.
Nie jestem pewien, co masz na myśli przez "permutacje szóstek". W
każdym razie nie oznacza, bo jeśli zawartość taśmy się zmieniła, to
następnym razem maszyna może zrobić coś innego.
> [...] Te 11 komórek to
> komórki
> względne. Ilość możliwych szóstek w instrukcjach wykonanych na
> komórkach
> względnych jest skończona i w trakcie rozszerzania się maszyny na
> coraz
> większy zakres musi dojść do ich powtórzenia. Jeśli dojdzie do
> powtórzenia
> to znaczy że maszyna wpisując okresowe dane w kolejne komórki będzie
> w
> nieskończoność rozszerzała swój zakres, czyli nigdy się nie zatrzyma.
Ale po kolejnym rozszerzeniu zakresu maszyna może odwiedzić 12
komórek, a po następnym 13. Jeśli przez 1000000 iteracji zakres
komórek odwiedzanych przez maszynę na razie się rozszerza, to skąd
wiesz, czy będzie się rozszerzał w nieskończoność, czy też maszyna
kiedyś wpadnie w cykl albo się zatrzyma?
Następne wpisy z tego wątku
- 21.08.10 09:53 Segmentation Fault
- 21.08.10 11:10 bartekltg
- 21.08.10 14:40 Mariusz Marszałkowski
Najnowsze wątki z tej grupy
- 7. Raport Totaliztyczny: Sprawa Qt Group wer. 424
- TCL - problem z escape ostatniego \ w nawiasach {}
- Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- testy-wyd-sort - Podsumowanie
- Tworzenie Programów Nieuprzywilejowanych Opartych Na Wtyczkach
- Do czego nadaje się QDockWidget z bibl. Qt?
- Bibl. Qt jest sztucznie ograniczona - jest nieprzydatna do celów komercyjnych
- Co sciaga kretynow
- AEiC 2024 - Ada-Europe conference - Deadlines Approaching
- Jakie są dobre zasady programowania programów opartych na wtyczkach?
- sprawdzanie słów kluczowych dot. zła
- Re: W czym sie teraz pisze programy??
- Re: (PDF) Surgical Pathology of Non-neoplastic Gastrointestinal Diseases by Lizhi Zhang
- CfC 28th Ada-Europe Int. Conf. Reliable Software Technologies
- Młodzi programiści i tajna policja
Najnowsze wątki
- 2024-12-11 SEP 1 kV E
- 2024-12-11 DNS restrictions are on
- 2024-12-11 wielkie bu
- 2024-12-11 Białystok => Inżynier bezpieczeństwa aplikacji <=
- 2024-12-11 Aku LiPo źródło dostaw - ktoś poleci ?
- 2024-12-11 Warszawa => Specjalista Bezpieczeństwa Informacji <=
- 2024-12-11 Wrocław => Application Security Engineer <=
- 2024-12-11 Warszawa => Analyst in the Trade Development department (experience wi
- 2024-12-11 Lublin => Programista Delphi <=
- 2024-12-11 Motodziennik #305 Nowy ELEKTRYK za 350 złotych miesięcznie? Kreatywne kredytowanie problemów
- 2024-12-11 Warszawa => Spedytor Międzynarodowy <=
- 2024-12-11 Katowice => Key Account Manager (ERP) <=
- 2024-12-11 Katowice => Regionalny Kierownik Sprzedaży (OZE) <=
- 2024-12-11 Idzie zima...czyli zaczynamy TETRIS :)
- 2024-12-11 Warszawa => Analityk w dziale Trade Development (doświadczenie z Powe