Název:
Létající amorfní počítač
Překlad názvu:
Flying Amorphous Computer
Autoři:
Petrů, L. ; Wiedermann, Jiří Typ dokumentu: Příspěvky z konference Konference/Akce: Kognice a umělý život /9./, Stará Lesná (SK), 2009-06-01 / 2009-06-04
Rok:
2009
Jazyk:
cze
Abstrakt: [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.
Klíčová slova:
amorfní počítač; komunikační protokol; simulace; výpočetní složitost Číslo projektu: CEZ:AV0Z10300504 (CEP), 1ET100300517 (CEP) Poskytovatel projektu: GA AV ČR Zdrojový dokument: Kognice a umělý život IX, ISBN 978-80-7248-516-1
Instituce: Ústav informatiky AV ČR
(web)
Informace o dostupnosti dokumentu:
Dokument je dostupný v repozitáři Akademie věd. Původní záznam: http://hdl.handle.net/11104/0176166