Solving the Word Problem in Real Time
暂无分享,去创建一个
[1] M. Dehn,et al. Über die Topologie des dreidimensionalen Raumes , 1910 .
[2] Derek F. Holt,et al. Word-Hyperbolic Groups Have Real-Time Word Problem , 2000, International journal of algebra and computation.
[3] Thomas Herbst,et al. Group Presentations, Formal Languages and Characterizations of One-Counter Groups , 1993, Theor. Comput. Sci..
[4] Brian H. Bowditch,et al. Geometrical Finiteness for Hyperbolic Groups , 1993 .
[5] David B. A. Epstein,et al. Word processing in groups , 1992 .
[6] Walter D. Neumann,et al. Automatic structures, rational growth, and geometrically finite hyperbolic groups , 1995 .
[7] Arnold L. Rosenberg,et al. Real-Time Definable Languages , 1967, JACM.