Abstract
A left-cancellative automatic monoid having directed fellow traveller property is finitely presented, and the first order Dehn functions of such automatic monoids are bounded above by a quadratic function. These results coincide with those of automatic groups.
Similar content being viewed by others
References
Baumslag, G., Gersten, S.M., Shapiro, M., Short, H.: Automatic groups and amalgams. J. Pure Appl. Algebra 76, 229–316 (1991)
Campbell, C.M., Robertson, E.F., Ruškuc, N., Thomas, R.M.: Automatic semigroups. Theor. Comput. Sci. 365, 365–391 (2001)
Duncan, A.J., Gilman, R.H.: Word hyperbolic semigroups. Math. Proc. Camb. Philos. Soc. 136(3), 513–524 (2004)
Epstein, D.B.A., Cannon, J.W., Holt, D.F., Levy, S.V., Paterson, M.S., Thurston, W.P.: Word Processing in Groups. Bartlett and Jones, Boston (1992)
Hoffmann, M., Kuske, D., Otto, F., Thomas, R.M.: Some relatives of automatic and hyperbolic groups. In: Gomes, G.M.S., Pin, J., Silva, P.V. (eds.) Proceedings of the Thematic Term on Semigroups, Algorithms, Automata and Languages, pp. 379–406. World Scientific, Singapore (2002)
Hoffmann, M., Thomas, R.M.: A geometric characterization of automatic semigroups. Theor. Comput. Sci. 369, 300–313 (2006)
Madlener, K., Otto, F.: Pseudo-natural algorithms for the word problem for finitely presented monoids and groups. J. Symb. Comput. 1, 383–418 (1985)
Otto, F.: On Dehn functions of finitely presented bi-automatic monoids. J. Autom. Lang. Comb. 5, 405–420 (2000)
Otto, F., Sattler-Klein, A., Madlener, K.: Automatic monoids versus monoids with finite convergent presentations. In: Nipkow, T. (ed.) Rewriting Techniques and Applications, Proc. RTA’98. Lecture Notes in Comput. Sci., vol. 1379, pp. 32–46. Springer, Berlin (1998)
Pride, S.J.: Geometric methods in combinatorial semigroup theory. In: Proceedings of International Conference on Groups, Semigroups and Formal Languages, York 1993. Kluwer, Dordrecht (1993)
Pride, S.J.: Low dimensional homotopy for monoids II: groups. Glasg. Mat. J. 41, 1–11 (1999)
Wang, X., Pride, S.J.: Second order Dehn functions of groups and monoids. Int. J. Algebra Comput. 10, 425–456 (2000)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Steve Pride.
The research of X. Wang was partially supported by China National Science Funds (No:10771077 and 10671114).
Rights and permissions
About this article
Cite this article
Wang, X., Xie, W. & Lin, H. Finiteness and Dehn functions of automatic monoids having directed fellow traveller property. Semigroup Forum 79, 15–21 (2009). https://doi.org/10.1007/s00233-009-9163-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00233-009-9163-z