-
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!
feeder1.cambriumusenet.nl!feed.tweaknews.nl!postnews.google.com!y11g2000yqm.goo
glegroups.com!not-for-mail
From: Mariusz Marszałkowski <m...@g...com>
Newsgroups: pl.comp.programming
Subject: Re: Algorytm do rozstrzygania problemu stopu dowolnej MT
Date: Thu, 19 Aug 2010 19:15:19 -0700 (PDT)
Organization: http://groups.google.com
Lines: 15
Message-ID: <1...@y...googlegroups.com>
References: <7...@y...googlegroups.com>
<e...@a...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 1282270520 31123 127.0.0.1 (20 Aug 2010 02:15:20 GMT)
X-Complaints-To: g...@g...com
NNTP-Posting-Date: Fri, 20 Aug 2010 02:15:20 +0000 (UTC)
Complaints-To: g...@g...com
Injection-Info: y11g2000yqm.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:186601
[ ukryj nagłówki ]On 19 Sie, 23:22, Maciej Sobczak <s...@g...com> wrote:
> 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.
No niestety. Tylko mała radość że to teoretycznie jest możliwe, albo
dla bardzo małych automatów.
Pozdrawiam
Następne wpisy z tego wątku
- 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
- Xiaomi [Chiny - przyp. JMJ] produkuje w całkowitych ciemnościach i bez ludzi
- Prezydent SZAP/USONA Trump ułaskawił prezydenta Hondurasu Hernandeza skazanego na 45 lat więzienia
- Rosjanie chwalą się prototypem komputera kwantowego. "Najważniejszy projekt naukowy Rosji"
- A Szwajcarzy kombinują tak: FinalSpark grows human neurons from stem cells and connects them to electrode arrays
- Re: Najgorszy język programowania
- NOWY: 2025-09-29 Alg., Strukt. Danych i Tech. Prog. - komentarz.pdf
- Na grupie comp.os.linux.advocacy CrudeSausage twierdzi, że Micro$lop używa SI do szyfrowania formatu dok. XML
- Błąd w Sofcie Powodem Wymiany 3 Duńskich Fregat Typu Iver Huitfeldt
- Grok zaczął nadużywać wulgaryzmów i wprost obrażać niektóre znane osoby
- Can you activate BMW 48V 10Ah Li-Ion battery, connecting to CAN-USB laptop interface ?
- We Wrocławiu ruszyła Odra 5, pierwszy w Polsce komputer kwantowy z nadprzewodzącymi kubitami
- Ada-Europe - AEiC 2025 early registration deadline imminent
- John Carmack twierdzi, że gdyby gry były optymalizowane, to wystarczyły by stare kompy
- Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2025
- Linuks od wer. 6.15 przestanie wspierać procesory 486 i będzie wymagać min. Pentium
Najnowsze wątki
- 2026-01-29 KSeF - 13 wątpliwości
- 2026-01-29 A ja się pochwalę
- 2026-01-29 Warszawa => Mid/Senior IT Recruiter <=
- 2026-01-29 Warszawa => Senior Java Developer <=
- 2026-01-29 Warszawa => IT Recruiter <=
- 2026-01-28 Degradacja
- 2026-01-28 Wysoki Sąd poinstruował czego unikać wyzywając Owsiaka "Równiejszego"
- 2026-01-28 Białystok => Solution Architect (Workday) - Legal Systems <=
- 2026-01-28 Białystok => Preseles Inżynier (background baz danych) <=
- 2026-01-28 Wrocław => Konsultant wdrożeniowy ERP <=
- 2026-01-28 Łódź => Microsoft Engineer <=
- 2026-01-28 Białystok => Tester manualny <=
- 2026-01-27 Tradycja ciągania posłów po sądach za wystąpienia w Sejmie będzie kontynuowana [Lepper 2]
- 2026-01-27 Pierwszy raz sprzedano więcej samochodów zeeletryfikowanych niż ice
- 2026-01-27 Elektryczny Kałasznikow




Jak kupić pierwsze mieszkanie? Eksperci podpowiadają