| Attributes | Values |
|---|
| rdf:type
| |
| rdfs:seeAlso
| |
| Description
| - 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 the observed 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 is possible 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 configurations can be simplified to their general configuration types, creating a word of a regular language. Furthermore, the control unit of any Turing Machine is a finite automaton. Both these facts enable the Pumping Lemma in the observing Turing Machine to be usable. In accordance with the Pumping Lemma, we know (the observing Turing Machine knows) that certain general configuration types must be periodically repeated in the case of the infinite length of their regular language. This fact enables (in finite time) us (the observing Turing Machine) to know that the observed computing process has entered into an infinite cycle. This method beány applicated to 'itself' it becomes a higher instanceof observation, now observing the trace of its previous instances. This sequence of ideas differs from Cantor's diagonal argument. (en)
- Publikace navazuje na předchazející práce %22Informační termodynamika I.%22 a %22Informační termodynamika II.%22, zvláště pak na publikaci %22Informační termodynamika I.%22. 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 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 souvisicí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.
- Publikace navazuje na předchazející práce %22Informační termodynamika I.%22 a %22Informační termodynamika II.%22, zvláště pak na publikaci %22Informační termodynamika I.%22. 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 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 souvisicí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. (cs)
|
| Title
| - Informační termodynamika III. : Automaty, termodynamika, přenos informace, výpočet a problém zastavení
- Informační termodynamika III. : Automaty, termodynamika, přenos informace, výpočet a problém zastavení (cs)
- Information Thermodynamics III. : Autamata, Thermodynamics, Information Transfer, Computing and the Halting Problem (en)
|
| skos:prefLabel
| - Informační termodynamika III. : Automaty, termodynamika, přenos informace, výpočet a problém zastavení
- Informační termodynamika III. : Automaty, termodynamika, přenos informace, výpočet a problém zastavení (cs)
- Information Thermodynamics III. : Autamata, Thermodynamics, Information Transfer, Computing and the Halting Problem (en)
|
| skos:notation
| - RIV/60461373:22340/13:43896410!RIV15-MSM-22340___
|
| http://linked.open...avai/riv/aktivita
| |
| http://linked.open...avai/riv/aktivity
| |
| http://linked.open...vai/riv/dodaniDat
| |
| http://linked.open...aciTvurceVysledku
| |
| http://linked.open.../riv/druhVysledku
| |
| http://linked.open...iv/duvernostUdaju
| |
| http://linked.open...titaPredkladatele
| |
| http://linked.open...dnocenehoVysledku
| |
| http://linked.open...ai/riv/idVysledku
| - RIV/60461373:22340/13:43896410
|
| http://linked.open...riv/jazykVysledku
| |
| http://linked.open.../riv/klicovaSlova
| - Infinite Cycle; Turing Machina; Informa?tion Channel; Carnot Cycle; Observation; Heat and Information Entropy (en)
|
| http://linked.open.../riv/klicoveSlovo
| |
| http://linked.open...ontrolniKodProRIV
| |
| http://linked.open...i/riv/mistoVydani
| |
| http://linked.open...i/riv/nazevZdroje
| - Informační termodynamika III. : Automaty, termodynamika, přenos informace, výpočet a problém zastavení
|
| http://linked.open...in/vavai/riv/obor
| |
| http://linked.open...ichTvurcuVysledku
| |
| http://linked.open...v/pocetStranKnihy
| |
| http://linked.open...cetTvurcuVysledku
| |
| http://linked.open...UplatneniVysledku
| |
| http://linked.open...iv/tvurceVysledku
| |
| number of pages
| |
| http://purl.org/ne...btex#hasPublisher
| - Vysoká škola chemicko-technologická v Praze
|
| https://schema.org/isbn
| |
| http://localhost/t...ganizacniJednotka
| |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)