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

Deterministic and nondeterministic asynchronous automatic structures. / Shapiro, Michael.

In: International Journal of Algebra and Computation, Vol. 2, No. 3, 1992, p. 297-305.

Research output: Contribution to journalArticle

@article{b3fd6d43fc4741f68778fdaa2f79b5bd,
title = "Deterministic and nondeterministic asynchronous automatic structures",
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.",
author = "Michael Shapiro",
year = "1992",
doi = "10.1142/S0218196792000189",
language = "English",
volume = "2",
pages = "297--305",
journal = "International Journal of Algebra and Computation",
issn = "0218-1967",
publisher = "World Scientific Publishing Co. Pte Ltd",
number = "3",

}

TY - JOUR

T1 - Deterministic and nondeterministic asynchronous automatic structures

AU - Shapiro, Michael

PY - 1992

Y1 - 1992

N2 - 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.

AB - 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.

U2 - 10.1142/S0218196792000189

DO - 10.1142/S0218196792000189

M3 - Article

VL - 2

SP - 297

EP - 305

JO - International Journal of Algebra and Computation

JF - International Journal of Algebra and Computation

SN - 0218-1967

IS - 3

ER -