Epstein (et al.) "Procesamiento de textos en los Grupos" es una muy completa monografía sobre automática de grupos, autómatas finitos geométrica grupo de teoría, ejemplos concretos, como la trenza de los grupos fundamentales, grupos de 3-dim colectores etc. Sin embargo, el libro es, desde 1992, por lo que mucho del material que resume la investigación realizada por el Cañón, Thurston, Holt, etc. en los '80s. Estoy interesado en cómo la teoría de la automática de grupos (y, más en general, las aplicaciones de los lenguajes formales en la teoría del grupo) ha progresado desde entonces, ha habido una cantidad considerable de nuevos resultados, problemas abiertos, la novela de ideas, ejemplos?
Respuesta
¿Demasiados anuncios?
Yo no soy un experto en el área, pero he aquí algunos puntos a destacar:
Bridson distinguido automática y combable grupos.
La hamburguesa y la Mozes encontrado ejemplos de biautomatic simple grupos.
La asignación de los grupos de la clase fueron originalmente demostrado ser automática por Mosher. Recientemente, Hamenstadt ha demostrado que son biautomatic.
Véase la parte 3 de McCammond de la encuesta para una actualización sobre los problemas abiertos.
Un conocido problema abierto es si automático grupos han solucionable conjugacy problema.
