Characterizing the Super-Turing Computer Power and Efficiency of Classical Fuzzy Turing Machines
The result's identifiers
Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Characterizing the Super-Turing Computer Power and Efficiency of Classical Fuzzy Turing Machines
Original language description
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.
Czech name
Charakterizace super-turingovské výpočetní síly a efektivity klasického fuzzy turingova stroje
Czech description
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ů.
Classification
Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
BA - General mathematics
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/GA201%2F02%2F1456" target="_blank" >GA201/02/1456: Specialized computational models in contemporary computer science</a><br>
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2004
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
Theoretical Computer Science
ISSN
0304-3975
e-ISSN
—
Volume of the periodical
317
Issue of the periodical within the volume
-
Country of publishing house
NL - THE KINGDOM OF THE NETHERLANDS
Number of pages
9
Pages from-to
61-69
UT code for WoS article
—
EID of the result in the Scopus database
—