You are here: MIMS > EPrints
MIMS EPrints

2006.278: Automatic semigroups and categories

2006.278: Mark Kambites (2006) Automatic semigroups and categories. Theoretical Computer Science, 353 (1-3). pp. 272-290. ISSN 0304-3975

Full text available as:

PDF - Archive staff only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
282 Kb

DOI: 10.1016/j.tcs.2005.11.021


We consider various automata-theoretic properties of semigroupoids and small categories and their relationship to the corresponding properties in semigroups and monoids. We introduce natural definitions of finite automata and regular languages over finite graphs, generalising the usual notions over finite alphabets. These allow us to introduce a definition of automaticity for semigroupoids and small categories, which generalises those introduced for semigroups by Hudson and for groupoids by Epstein. We also introduce a definition of prefix-automaticity for semigroupoids and small categories, generalising that for certain monoids introduced by Silva and Steinberg.

We study the relationship between automaticity properties in a semigroupoid and in a certain associated semigroup. This allows us to extend to semigroupoids and small categories a number of results about automatic and prefix-automatic semigroups and monoids. In the course of our study, we also prove some new results about automaticity and prefix-automaticity in semigroups and monoids. These include the fact that prefix-automaticity is preserved under the taking of cofinite subsemigroups.

Item Type:Article
Uncontrolled Keywords:Semigroups; Free categories; Graphs; Regular languages; Automatic structures
Subjects:MSC 2000 > 18 Category theory; homological algebra
MSC 2000 > 20 Group theory and generalizations
MIMS number:2006.278
Deposited By:Miss Louise Stait
Deposited On:14 August 2006

Download Statistics: last 4 weeks
Repository Staff Only: edit this item