Original title: Létající amorfní počítač
Translated title: Flying Amorphous Computer
Authors: Petrů, L. ; Wiedermann, Jiří
Document type: Papers
Conference/Event: Kognice a umělý život /9./, Stará Lesná (SK), 2009-06-01 / 2009-06-04
Year: 2009
Language: cze
Abstract: [cze] [eng]
V příspěvku navrhneme formální model létajícího amorfního počítače a ukážeme, že k libovolnému počítači RAM s libovolně velkým vstupem existuje amorfní počítač, jehož velikost záleží pouze na velikosti vstupu a jenž konkrétně realizuje počítač RAM pro daný vstup s libovolně malou pravděpodobností chyby. A formal model of so-called flying amorphous computer is designed. It is known that to any RAM computer with a given input there exists an amorphous flying computer whose size only depends on the size of the input and which simulates the given RAM computer with an arbitrarily small error probability.
Keywords: amorfní počítač; komunikační protokol; simulace; výpočetní složitost
Project no.: CEZ:AV0Z10300504 (CEP), 1ET100300517 (CEP)
Funding provider: GA AV ČR
Host item entry: Kognice a umělý život IX, ISBN 978-80-7248-516-1

Institution: Institute of Computer Science AS ČR (web)
Document availability information: Fulltext is available in the digital repository of the Academy of Sciences.
Original record: http://hdl.handle.net/11104/0176166

Permalink: http://www.nusl.cz/ntk/nusl-40534


The record appears in these collections:
Research > Institutes ASCR > Institute of Computer Science
Conference materials > Papers