Articles

‘Automatic presentations for cancellative semigroups’: [with G. Oliver, N. Ruškuc & R. M. Thomas]
in C. Martín-Vide, H. Fernau & F. Otto, editors, Language and Automata Theory and Applications: Second International Conference, Tarragona, Spain, March 13–19, 2008, no. 5196 in Lecture Notes in Computer Science, Springer, 2008, pp. 149–159.
doi: 10.1007/978-3-540-88282-4_15. $ZBL1157.20332
[ Download preprint ]

Abstract

An automatic presentation of a relational structure is, informally, a representation of the elements of that structure by means of a regular language such that the relations can all be recognized by finite automata. This paper shows that a finitely generated cancellative semigroup admits an automatic presentation if and only if it is a subsemigroup of a virtually abelian group.



		A. J. Cain > Publications > Articles

		Home Contact C.V. Full C.V. Short C.V. Publications All publications Articles Ph.D. thesis Technical reports Miscellaneous notes Talks All seminars & talks Conference talks Invited Other Seminars Invited Other Short courses Other talks Research Current research Research collaborators Teaching Previously taught MT3600 Pure maths MT5826 Finite Fields Personal Biography Erdös number Academic ancestry




				‘Automatic presentations for cancellative semigroups’ [with G. Oliver, N. Ruškuc & R. M. Thomas] in C. Martín-Vide, H. Fernau & F. Otto, editors, Language and Automata Theory and Applications: Second International Conference, Tarragona, Spain, March 13–19, 2008, no. 5196 in Lecture Notes in Computer Science, Springer, 2008, pp. 149–159. doi: 10.1007/978-3-540-88282-4_15. $ZBL1157.20332 [ Download preprint ] Abstract An automatic presentation of a relational structure is, informally, a representation of the elements of that structure by means of a regular language such that the relations can all be recognized by finite automata. This paper shows that a finitely generated cancellative semigroup admits an automatic presentation if and only if it is a subsemigroup of a virtually abelian group.

		Colophon	© 1998–2009 A. J. Cain