Obálkyknih.cz - Jihočeská vědecká knihovna v Českých Budějovicích

oprava existující anotace, přidání nové anotace

Název:		Informační termodynamika.III.,Automaty, termodynamika, přenos informace, výpočet a problém zastavení
Autor:		Hejna Bohdan
Rok vydání:		2013
Identifikátory:		9788070808511 cnb002475296 (OCoLC)857952953

Upravte stávající anotaci nebo vložte anotaci novou.
Anotace:	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.
	Souhlasím s využitím anotace pro potřeby projektu obálkyknih.cz. Obsah neporušuje autorská práva.(povinné)