-
Path: news-archive.icm.edu.pl!news.icm.edu.pl!news.nask.pl!news.nask.org.pl!newsfeed0
0.sul.t-online.de!t-online.de!border2.nntp.dca.giganews.com!nntp.giganews.com!p
ostnews.google.com!a36g2000yqc.googlegroups.com!not-for-mail
From: Maciej Sobczak <s...@g...com>
Newsgroups: pl.comp.programming
Subject: Re: Algorytm do rozstrzygania problemu stopu dowolnej MT
Date: Thu, 19 Aug 2010 14:22:25 -0700 (PDT)
Organization: http://groups.google.com
Lines: 31
Message-ID: <e...@a...googlegroups.com>
References: <7...@y...googlegroups.com>
NNTP-Posting-Host: 81.62.17.100
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-2
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1282252946 18155 127.0.0.1 (19 Aug 2010 21:22:26 GMT)
X-Complaints-To: g...@g...com
NNTP-Posting-Date: Thu, 19 Aug 2010 21:22:26 +0000 (UTC)
Complaints-To: g...@g...com
Injection-Info: a36g2000yqc.googlegroups.com; posting-host=81.62.17.100;
posting-account=bMuEOQoAAACUUr_ghL3RBIi5neBZ5w_S
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (Macintosh; U; Intel Mac OS X 10.5; en-US; rv:1.9.2.6)
Gecko/20100625 Firefox/3.6.6,gzip(gfe)
Xref: news-archive.icm.edu.pl pl.comp.programming:186600
[ ukryj nagłówki ]On 19 Sie, 21:53, Mariusz Marszałkowski <m...@g...com> wrote:
> Istnieje wiele algorytmów które rozstrzygają problem
> stopu na automacie skończonym, przypomnijmy
> jeden algorytm:
Niestety bezużyteczny w praktyce ze względu na nieredukowalność
obliczeniową wielu automatów.
Chodzi o to, że aby ten problem rozstrzygnąć, musisz (zgodnie ze
opisanymi metodami), *wykonać* badany algorytm. To jest zwykły
emulator.
Nie ma w tych metodach żadnego "skrótu", który by oszacował wynik
szybciej, niż trwa wykonanie badanego automatu.
Przykład: powiedzmy, że mamy komputer z 1GB RAMu i program, który na
całej tej pamięci robi licznik na wszystkich dostępnych bitach,
zwiększany ze średnią czybkością 1GHz - to taka pierwsza lekcja
asemblera. Ten program musi się albo zapętlić albo zatrzymać, ale jego
wykonanie trwa:
(2**(8*(2**30)))/(10**9) sekund,
czyli dłużej, niż będzie istniał cały wszechświat.
Jeżeli Twój algorytm nie potrafi tego rozstrzygnąć szybciej, niż przez
obserwację tego nudnego procesu, to jest kompletnie bezużyteczny.
--
Maciej Sobczak * http://www.inspirel.com
Następne wpisy z tego wątku
- 20.08.10 02:15 Mariusz Marszałkowski
- 20.08.10 04:56 Jacek Czerwinski
- 20.08.10 06:43 Marcin 'Qrczak' Kowalczyk
- 20.08.10 08:50 Segmentation Fault
- 20.08.10 13:08 bartekltg
- 20.08.10 19:50 Mariusz Marszałkowski
- 21.08.10 07:52 Marcin 'Qrczak' Kowalczyk
- 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
- Alg. kompresji LZW
- Popr. 14. Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- Arch. Prog. Nieuprzywilejowanych w pełnej wer. na nowej s. WWW energokod.pl
- 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??
Najnowsze wątki
- 2025-03-02 Tusk idzie na rekord deportacji po 1989 [Będzie popyt na prawników]
- 2025-03-01 Obywatel telefonuje 112 lub 986
- 2025-03-01 detektyw (?) Rutkowski działał jako prasa
- 2025-03-01 "Policjant został ujęty obywatelsko..."
- 2025-03-01 zatrzymanie zbyszka maja
- 2025-03-01 Warszawa => Expert Recruiter 360 <=
- 2025-03-01 Chrzanów => NodeJS Developer <=
- 2025-03-01 Warszawa => Gen AI Engineer <=
- 2025-03-01 Wrocław => Konsultant wdrożeniowy Comarch XL/Optima (Księgowość i
- 2025-03-01 Kraków => Technical Team Leader (Clojure, Java) <=
- 2025-03-01 Zrobił TV OLED z TV LCD
- 2025-03-01 Gdynia => Sales Executive / KAM <=
- 2025-03-01 Błonie => Sales Specialist <=
- 2025-03-01 Ryga => Konsultant Wdrożeniowy Comarch XL/Optima (Księgowość i Kad
- 2025-03-01 Żerniki => Dyspozytor Międzynarodowy <=