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

Se definen y se caracterizan, tanto en terminos de la combinatoria de sus palabras como en funcion de sus semigrupos sintacticos, dos nuevas variedades de lenguajes regulares, las familias de los lenguajes localmente explorables por la derecha y por la izquierda, cuya interseccion constituye la variedad de los lenguajes localmente explorables, Tambien 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 presentacion positiva para esta familia y para la de los lenguajes localmente explorables a trozos.