Classical computability and fuzzy turing machines

  • Authors:

  • Benjamín René Callejas Bedregal;Santiago Figueira

  • Affiliations:

  • Department of Informatics and Applied Mathematics, Laboratory of Logic and Computational Intelligence, Federal University of Rio Grande do Norte, Natal, RN, Brazil;Department of Computer Science, FCEyN, University of Buenos Aires, Buenos Aires, Argentina

  • Venue:
  • LATIN'06 Proceedings of the 7th Latin American conference on Theoretical Informatics
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

We work with fuzzy Turing machines (ftms) and we study the relationship between this computational model and classical recursion concepts such as computable functions, r.e. sets and universality. ftms are first regarded as acceptors. It has recently been shown in [23] that these machines have more computational power than classical Turing machines. Still, the context in which this formulation is valid has an unnatural implicit assumption. We settle necessary and sufficient conditions for a language to be r.e., by embedding it in a fuzzy language recognized by a ftm and we do the same thing for difference r.e. sets, a class of “harder” sets in terms of computability. It is also shown that there is no universal ftm. We also argue for a definition of computable fuzzy function, when ftms are understood as transducers. It is shown that, in this case, our notion of computable fuzzy function coincides with the classical one.