On a class of fuzzy computable functions (Q5947561)

This paper proposes a notion of fuzzy computability that is more restrictive than some other formalizations of this concept that have appeared in the literature. The authors' definition uses fuzzy Turing machines, with a finitariness condition imposed on the computations. The class of functions obtained by the authors is then characterized by them in terms of a fuzzy programming language they had introduced in previous papers.