English

Some Improvements in Fuzzy Turing Machines

Logic in Computer Science 2017-07-19 v1

Abstract

In this paper, we modify some previous definitions of fuzzy Turing machines to define the notions of accepting and rejecting degrees of inputs, computationally. We use a BFS-based search method and obtain an upper level bound to guarantee the existence of accepting and rejecting degrees. We show that fuzzy, generalized fuzzy and classical Turing machines have the same computational power. Next, we introduce the class of Extended Fuzzy Turing Machines equipped with indeterminacy states. These machines are used to catch some types of loops of the classical Turing machines. Moreover, to each r.e. or co-r.e language, we correspond a fuzzy language which is indeterminable by an extended fuzzy Turing machine.

Keywords

Cite

@article{arxiv.1707.05311,
  title  = {Some Improvements in Fuzzy Turing Machines},
  author = {Hadi Farahani},
  journal= {arXiv preprint arXiv:1707.05311},
  year   = {2017}
}
R2 v1 2026-06-22T20:49:27.508Z