Máquinas de Turing borrosas y modelos de W-calculabilidad

  1. Clares Rodríguez, Buenaventura
Supervised by:
  1. Miguel Delgado Calvo-Flores Director

Defence university: Universidad de Granada

Fecha de defensa: 26 February 1983

Committee:
  1. Rafael Infante Macías Chair
  2. Miguel Delgado Calvo-Flores Secretary
  3. Enric Trillas Committee member
  4. Ramón Gutiérrez Jáimez Committee member
  5. Antonio Vaquero Sánchez Committee member
Department:
  1. CIENCIAS DE LA COMPUTACIÓN E INTELIGENCIA ARTIFICIAL

Type: Thesis

Teseo: 8117 DIALNET lock_openDIGIBUG editor

Abstract

El objeto de la presente memoria es construir y analizar un modelo teórico para la calculabilidad de problemas en ambiente borroso (difuso), en el capítulo 1 de la memoria se introduce el concepto de máquina de Turing borrosa (W-máquina de Turing) y se analizan sus propiedades más sobresalientes. En el capítulo 2 se establece la caracterización de las funciones calculables mediante una W-máquina y se analizan las propiedades de las funciones calculables con dominio en los números enteros positivos tanto en el caso clásico como en ambiente borroso (funciones con dominio en el conjunto de los números enteros positivos borroso W-calculables). En el capítulo 3 se introduce los predicados W-calculables.