MAQUINAS DE TURING BORROSAS Y MODELOS DE W-CALCULABILIDAD.

EL OBJETO DE LA PRESENTE MEMORIA ES CONSTRUIR Y ANALIZAR UN MODELO TEORICO PARA LA CALCULABILIDAD DE PROBLEMAS EN AMBIENTE BORROSO (DIFUSO). EN EL CAPITULO 1 DE LA MEMORIA SE INTRODUCE EL CONCEPTO DE MAQUINA DE TURING BORROSA (W-MAQUINA DE TURING) Y SE ANALIZAN SUS PROPIEDADES MAS SOBRESALIENTES. EN EL CAPITULO 2 SE ESTABLECE LA CARACTERIZACION DE LAS FUNCIONES CALCULABLES MEDIANTE UNA W-MAQUINA Y SE ANALIZAN LAS PROPIEDADES DE LAS FUNCIONES CALCULABLES CON DOMINIO EN LOS NUMEROS ENTEROS POSITIVOS TANTO EN EL CASO CLASICO COMO EN AMBIENTE BORROSO (FUNCIONES CON DOMINIO EN EL CONJUNTO DE LOS NUMEROS ENTEROS POSITIVOS BORROSO W-CALCULABLES). EN EL CAPITULO 3 SE INTRODUCE LOS PREDICADOS W-CALCULABLES.