Autómatas arbóreos y lenguajes: Volumen 10

Título original:

Tree Automata and Languages: Volume 10

Contenido del libro:

La teoría de los lenguajes arbóreos, fundada a finales de los sesenta y aún activa en los setenta, lo fue mucho menos durante los ochenta. Ahora se está produciendo un renacimiento simultáneo en varios países, con una serie de resultados significativos demostrados en los últimos cinco años. Gran parte de ellos aparecen en el presente volumen.

Los editores de este volumen sugirieron a los autores que escribieran amplios trabajos de media encuesta. Así pues, esta colección es útil para todos los interesados en la teoría de los lenguajes arbóreos, ya que cubre la mayoría de las cuestiones recientes que no se tratan en los escasos libros estándar sobre el tema, bastante antiguos. Los árboles aparecen de forma natural en muchos capítulos de la informática y es probable que cada nueva propiedad redunde en la mejora de alguna solución computacional de un problema real en el manejo de fórmulas lógicas, estructuras de datos, lenguajes de programación en sistemas, algoritmos, etc. El punto de vista adoptado aquí es hacer hincapié en las propiedades en sí mismas y en su rigurosa exposición matemática más que en las numerosas aplicaciones posibles.

Este volumen es una fuente útil de conceptos y métodos que pueden aplicarse con éxito en muchas situaciones: su filosofía está muy próxima a toda la filosofía de las Acciones de Investigación Básica ESPRIT y a la de la Asociación Europea de Informática Teórica.