Charakterizace super-turingovské výpočetní síly a efektivity klasického fuzzy turingova stroje
Popis výsledku
První pokusy o formalizaci pojmu fuzzy algoritmů v termínech turingových strojů pocházejí z 80. let minulého století kdy byly příslušné pojmy zavedeny Zadehem. Nedávno bylo zjištěno, že odpovídající model tzv. klasického fuzzy turingova stroje může řešitnerozhodnutelné problémy. V článku podáme přesnou rekurzivně-teoretickou charakterizaci výpočetní síly tohoto typu turingových strojů.
Klíčová slova
fuzzy Turing machinescomputabilitycomputing powercomputing effciencyChurch-Turing thesis
Identifikátory výsledku
Kód výsledku v IS VaVaI
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Characterizing the Super-Turing Computer Power and Efficiency of Classical Fuzzy Turing Machines
Popis výsledku v původním jazyce
The first attempts concerning formalization of the notion of fuzzy algorithms in terms of Turing machines are dated in late 1960s when this notion was introduced by Zadeh. Recently, it has been observed that corresponding so-called classical fuzzy Turingmachines can solve undecidable problems. In this paper we will give exact recursion-theoretical characterization of the computational power of this kind of fuzzy Turing machines.
Název v anglickém jazyce
Characterizing the Super-Turing Computer Power and Efficiency of Classical Fuzzy Turing Machines
Popis výsledku anglicky
The first attempts concerning formalization of the notion of fuzzy algorithms in terms of Turing machines are dated in late 1960s when this notion was introduced by Zadeh. Recently, it has been observed that corresponding so-called classical fuzzy Turingmachines can solve undecidable problems. In this paper we will give exact recursion-theoretical characterization of the computational power of this kind of fuzzy Turing machines.
Klasifikace
Druh
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP obor
BA - Obecná matematika
OECD FORD obor
—
Návaznosti výsledku
Projekt
GA201/02/1456: Specializované výpočetní modely v současné informatice
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)
Ostatní
Rok uplatnění
2004
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ů
Údaje specifické pro druh výsledku
Název periodika
Theoretical Computer Science
ISSN
0304-3975
e-ISSN
—
Svazek periodika
317
Číslo periodika v rámci svazku
-
Stát vydavatele periodika
NL - Nizozemsko
Počet stran výsledku
9
Strana od-do
61-69
Kód UT WoS článku
—
EID výsledku v databázi Scopus
—
Základní informace
Druh výsledku
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP
BA - Obecná matematika
Rok uplatnění
2004