Informační termodynamika III. : Automaty, termodynamika, přenos informace, výpočet a problém zastavení

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F60461373%3A22340%2F13%3A43896410" target="_blank" >RIV/60461373:22340/13:43896410 - isvavai.cz</a>

Výsledek na webu

<a href="http://vydavatelstvi.vscht.cz/katalog/uid_isbn-978-80-7080-851-1/anotace/" target="_blank" >http://vydavatelstvi.vscht.cz/katalog/uid_isbn-978-80-7080-851-1/anotace/</a>

DOI - Digital Object Identifier

—

Jazyk výsledku

čeština

Název v původním jazyce

Informační termodynamika III. : Automaty, termodynamika, přenos informace, výpočet a problém zastavení

Popis výsledku v původním jazyce

Publikace navazuje na předchazející práce "Informační termodynamika I." a "Informační termodynamika II.", zvláště pak na publikaci "Informační termodynamika I.". Zabývá 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

Název v anglickém jazyce

Information Thermodynamics III. : Autamata, Thermodynamics, Information Transfer, Computing and the Halting Problem

Popis výsledku anglicky

The formulations of the undecidability of the HaltingProblem assume that the computing process being observed, the description of which is given on the input of the 'observing' Turing Machine, is the exact copy of the computing process running in the observing Turing Machine itself (Cantor's diagonál argument). By this way an analogue of stationary state in thermodynamic sense or an infinite cycle in computing sense is created, shielding now what is to be possibly discovered - the infinite cycle in theobserved computing process for a 'normal' input. This shield is the real result of Cantor's diagonal argument which has been used for solving the Halting Problem. This shield can be ceased by the external activity, by a 'step-aside'. W believe that it ispossible to recognize the infinite cycle, but with a time delay or staging in evaluating the trace of the observed computing process. The trace is a record of the sequence of configurations of the observed Turing machine. These configura

Druh

B - Odborná kniha

CEP obor

BD - Teorie informace

OECD FORD obor

—

Projekt

—

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2013

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

ISBN

978-80-7080-851-1

Počet stran knihy

147

Název nakladatele

Vysoká škola chemicko-technologická v Praze

Místo vydání

Praha

Kód UT WoS knihy

—