Máquinas de Turing borrosas y modelos de W-calculabilidad
- Miguel Delgado Calvo-Flores Directeur
Université de défendre: Universidad de Granada
Fecha de defensa: 26 février 1983
- Rafael Infante Macías President
- Miguel Delgado Calvo-Flores Secrétaire
- Enric Trillas Rapporteur
- Ramón Gutiérrez Jáimez Rapporteur
- Antonio Vaquero Sánchez Rapporteur
Type: Thèses
Résumé
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.