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

José Ruiz Ochando

• 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.