![Svaz českých knihkupců a nakladatelů](/front-module/image/logo.png)
Publikace navazuje na předcházející práce "Informační termodynamika I." a "Informační termodynamika II.", zvláště pak na publikaci "Informační termodynamika I.". Zabývá se problémem zastavení (Halting Problem), ale neaplikuje běžnou logicko-automatovou konstrukci důkazu jeho nerozhodnutelnosti. Volí cestu jisté analogie, spíše ekvivalence mezi procesy v základních strukturách Teorie automatů a Teorie vyčíslitelnosti, Teorie informace a Termodynamiky, a tím i analogie - ekvivalence - mezi těmito strukturami samotnými, automaty a Turingovými stroji, přenosovými informačními kanály a termodynamickými systémy. Popsatelnost výpočetního procesu v termínech přenosu informace a toho pak v termínech procesu změny stavu termodynamického systému, a to v souvislosti s jeho zobecněným regulárním popisem, autorovi umožňuje konstruovat metodu indikující v konečném čase, že se daný výpočetní proces nachází v nekonečném cyklu. Jádrem metody je etapizace, postupné spouštění a trasování sledovaného výpočetního procesu a následná konstrukce regulárních výrazů vyhovujících, pokud nekonečný cyklus nastal, Pumping Lemmě při automatovém přístupu, v termodynamické interpretaci pojmu (kvazi)stacionární stav a v informační interpretaci pak autoreferenci. Práce je doplněna dodatky, zvláště, ale nejen z Algebraické teorie automatů, které spolu s úvodními kapitolami umožňují čtenáři se zevrubně, ale pohodlně poučit o všem podstatném, souvisícím s klíčovým pojmem práce, regularita nekonečné posloupnosti, ale i o pojmech Termodynamiky a Teorie informace ve výpočetní, automatové souvislosti.
ISBN: | 978-80-7080-851-1 |
---|---|
EAN: | 9788070808511 |
Doporučená cena: | 198 Kč |
Počet stran | 147 stran |
Rozměr | 170x240 mm |
Pořadí vydání | 1. |
Datum vydání | 29. 8. 2013 |
Vazba | kniha, brožovaná vazba |
Jazyk | český |
Nakladatelství | Vysoká škola chemicko-technologická v Praze |
Tématická skupina | 999 - nezařazeno |
![](/front-module/image/logo.png)