-
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
- 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
- Ada 2022 Language Reference Manual to be Published by Springer
- Press Release - AEiC 2023, Ada-Europe Reliable Softw. Technol.
- Ada-Europe - AEiC 2023 early registration deadline approaching
- Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2023
- Ile cykli zajmuje mnożenie liczb 64-bitowych?
Najnowsze wątki
- 2024-07-02 Realme 7 Na co zmienić?
- 2024-06-27 Prywatny parking? Pierwsze 10 minut bezplatnie
- 2024-07-02 znalazłem samochód ;)
- 2024-07-02 Pierwszeństwo łamane
- 2024-07-02 zamek
- 2024-07-02 Akumulatory VRLA
- 2024-07-03 Białystok => Inżynier DevOps Conexa First (Kontraktor) <=
- 2024-07-03 MĂźnchen => Test Development Engineer (m/w/d) <=
- 2024-07-03 Warszawa => Full Stack web developer (obszar .Net Core, Angular6+) <=
- 2024-07-03 Warszawa => Programista Full Stack (.Net Core) <=
- 2024-07-02 Kraków => Spedytor międzynarodowy <=
- 2024-07-02 Poznań => Senior React Native Developer <=
- 2024-07-02 Rzeszów => Frontend Developer (React) <=
- 2024-07-02 Warszawa => Fullastack (Java) Developer <=
- 2024-07-02 reparacje