Re: Dlaczego dowód na nierozstrzygalność problemu stopu jest błędny

eGospodarka.pl › Grupy › pl.comp.programming › Dlaczego dowód na nierozstrzygalność problemu stopu jest błędny › Re: Dlaczego dowód na nierozstrzygalność problemu stopu jest błędny

Path: news-archive.icm.edu.pl!news.rmf.pl!agh.edu.pl!news.agh.edu.pl!news.onet.pl!lub
lin.pl!uw.edu.pl!newsgate.cistron.nl!newsgate.news.xs4all.nl!194.109.133.84.MIS
MATCH!newsfeed.xs4all.nl!newsfeed5.news.xs4all.nl!xs4all!feeder.news-service.co
m!postnews.google.com!v41g2000yqv.googlegroups.com!not-for-mail
From: Mariusz Marszałkowski <m...@g...com>
Newsgroups: pl.comp.programming
Subject: Re: Dlaczego dowód na nierozstrzygalność problemu stopu jest błędny
Date: Thu, 19 Aug 2010 09:46:57 -0700 (PDT)
Organization: http://groups.google.com
Lines: 33
Message-ID: <d...@v...googlegroups.com>
References: <8...@t...googlegroups.com>
<8...@f...googlegroups.com>
NNTP-Posting-Host: 89.229.34.123
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-2
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1282236418 9445 127.0.0.1 (19 Aug 2010 16:46:58 GMT)
X-Complaints-To: g...@g...com
NNTP-Posting-Date: Thu, 19 Aug 2010 16:46:58 +0000 (UTC)
Complaints-To: g...@g...com
Injection-Info: v41g2000yqv.googlegroups.com; posting-host=89.229.34.123;
posting-account=xjvq9QoAAAATMPC2X3btlHd_LkaJo_rj
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (Windows; U; Windows NT 5.1; pl; rv:1.9.2.8)
Gecko/20100722 Firefox/3.6.8,gzip(gfe)
Xref: news-archive.icm.edu.pl pl.comp.programming:186598
[ ukryj nagłówki ]
On 19 Sie, 17:58, "Marcin 'Qrczak' Kowalczyk" <q...@k...org.pl>
wrote:
> On Aug 19, 3:35 pm, Mariusz Marszałkowski <m...@g...com> wrote:
>
> > Wyobraźmy sobie przykładowy program S:
> > Pod zerowym adresem jest miejsce na odpowiedź.
> > Począwszy od pierwszego adresu do adresu NS są instrukcje
> > i dane programu S. Od adresu NS+1 do adresu NP są
> > instrukcje programu P, od adresu NP+1 do adresu ND są
> > dane programu D. Można napisać:
> > S = 0 | INST_S | INST_P | DATA_D [1]
>
> Program P nie jest częścią programu S. Program S dostaje treść
> programu P jako swoje dane, ale te dane nie wchodzą w skład programu
> S.
Program niczym nie różni się od swoich danych. Wynika z tego, że jeśli
program
przedstawisz jako dwa rozłączne zbiory, np. jako zbiór instrukcji i
danych, to też
dojdzie do sytuacji w której program T jest równy sobie i jeszcze
czemuś.

Spróbujmy rozpisać:
S = {INST} i {DATA}
S = {INST_S} i {0 | {INST_P} i {DATA_D} }

T = {INST_T} i {DATA}
T = {INST_T} i {T}

Co kończy dowód, gdyż zbiór INST_T jest niepusty.
Pozdrawiam