Charakterizace super-turingovské výpočetní síly a efektivity klasického fuzzy turingova stroje
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F04%3A00103318" target="_blank" >RIV/67985807:_____/04:00103318 - isvavai.cz</a>
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
J<sub>x</sub> - 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
<a href="/cs/project/GA201%2F02%2F1456" target="_blank" >GA201/02/1456: Specializované výpočetní modely v současné informatice</a><br>
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
—