Re: Algorytm do rozstrzygania problemu stopu dowolnej MT

eGospodarka.pl › Grupy › pl.comp.programming › Algorytm do rozstrzygania problemu stopu dowolnej MT › Re: Algorytm do rozstrzygania problemu stopu dowolnej MT

Path: news-archive.icm.edu.pl!news.icm.edu.pl!news.nask.pl!news.nask.org.pl!news.unit
0.net!news-out1.kabelfoon.nl!newsfeed.kabelfoon.nl!bandi.nntp.kabelfoon.nl!feed
er.news-service.com!feeder1.cambriumusenet.nl!feed.tweaknews.nl!postnews.google
.com!g17g2000yqe.googlegroups.com!not-for-mail
From: bartekltg <b...@g...com>
Newsgroups: pl.comp.programming
Subject: Re: Algorytm do rozstrzygania problemu stopu dowolnej MT
Date: Sat, 21 Aug 2010 04:10:43 -0700 (PDT)
Organization: http://groups.google.com
Lines: 14
Message-ID: <e...@g...googlegroups.com>
References: <7...@y...googlegroups.com>
<4c6e41c7$0$22795$65785112@news.neostrada.pl>
<0...@i...googlegroups.com>
<4c6fa206$0$22812$65785112@news.neostrada.pl>
NNTP-Posting-Host: 83.16.154.155
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-2
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1282389043 24766 127.0.0.1 (21 Aug 2010 11:10:43 GMT)
X-Complaints-To: g...@g...com
NNTP-Posting-Date: Sat, 21 Aug 2010 11:10:43 +0000 (UTC)
Complaints-To: g...@g...com
Injection-Info: g17g2000yqe.googlegroups.com; posting-host=83.16.154.155;
posting-account=CvUQzQoAAABvVQmR58QmR6N4Cev1qhAS
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:186627
[ ukryj nagłówki ]
On 21 Sie, 11:53, Segmentation Fault <c...@o...eu> wrote:

> > 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.

Qrczak wyrazil w to watpliosc. A sam nie widze jasnej odpowiedzi.

pozdrawiam
bartekltg