Familias de lenguajes explorables: inferencia inductiva y caracterización algebraica

• Autores: José Ruiz Ochando
• Directores de la Tesis: Pedro García Gómez (dir. tes.)
• Lectura: En la Universitat Politècnica de València ( España ) en 1998
• Idioma: español
• Tribunal Calificador de la Tesis: Enrique Vidal Ruiz (presid.), Francisco Casacuberta Nolla (secret.), Daniel Tarazona Ferrer (voc.), Colin de la Higuera (voc.), Antonio Castellanos López (voc.)
• Materias:
  • Matemáticas
    • Ciencia de los ordenadores
      • Inteligencia artificial
• Texto completo no disponible (Saber más ...)
• Resumen

  • Se definen y se caracterizan, tanto en términos de la combinatoria de sus palabras como en función de sus semigrupos sintácticos, dos nuevas variedades de lenguajes regulares, las familias de los lenguajes localmente explorables por la derecha y por la izquierda, cuya intersección constituye la variedad de los lenguajes localmente explorables, También se define y se caracteriza la familia de los lenguajes localmente explorables en sentido estricto con umbral y se dan algoritmos de inferencia a partir de presentación positiva para esta familia y para la de los lenguajes localmente explorables a trozos.