Deterministic and nondeterministic asynchronous automatic structures

Michael Shapiro

Research output: Contribution to journalArticle

Abstract

Following the definition of asynchronous automatic structures in [3], we define non-deterministic asynchronous automatic structures and characterize these in terms of the asynchronous fellow traveller property. We show that any group with a non-deterministic asynchronous automatic structure has an asynchronous automatic structure. Non-deterministic asynchronous automatic structures are a labor saving method of showing that a group has an asynchronous automatic structure. They also allow one to define an equivalence relation on the class of non-deterministic asynchronous automatic structures which descends to the subclasses of deterministic asynchronous automatic structures and synchronous automatic structures.
Original languageEnglish
Pages (from-to)297-305
Number of pages9
JournalInternational Journal of Algebra and Computation
Volume2
Issue number3
DOIs
Publication statusPublished - 1992

Cite this