dc.contributor.author |
Jain, S |
en |
dc.contributor.author |
Khoussainov, B |
en |
dc.contributor.author |
Stephan, F |
en |
dc.contributor.author |
Teng, D |
en |
dc.contributor.author |
Zou, S |
en |
dc.date.accessioned |
2015-01-05T00:14:03Z |
en |
dc.date.available |
2015-01-05T00:14:03Z |
en |
dc.date.issued |
2014 |
en |
dc.identifier.citation |
CDMTCS Research Reports CDMTCS-457(2014) |
en |
dc.identifier.issn |
1178-3540 |
en |
dc.identifier.uri |
http://hdl.handle.net/2292/23890 |
en |
dc.description.abstract |
Semiautomatic structures generalise automatic structures in the sense
that for some of the relations and functions in the structure one only requires the
derived relations and structures are automatic when all but one input are filled with
constants. One can also permit that this applies to equality in the structure so that
only the sets of representatives equal to a given element of the structure are regular
while equality itself is not an automatic relation on the domain of representatives.
It is shown that one can find semiautomatic representations for the field of rationals
and also for finite algebraic field extensions of it. Furthermore, one can show that
infinite algebraic extensions of finite fields have semiautomatic representations in
which the addition and equality are both automatic. Further prominent examples of
semiautomatic structures are term algebras, any relational structure over a countable
domain with a countable signature and any permutation algebra with a countable
domain. Furthermore, examples of structures which fail to be semiautomatic are
provided. |
en |
dc.publisher |
Department of Computer Science, The University of Auckland, New Zealand |
en |
dc.relation.ispartofseries |
CDMTCS Research Report Series |
en |
dc.rights |
Items in ResearchSpace are protected by copyright, with all rights reserved, unless otherwise indicated. Previously published items are made available in accordance with the copyright policy of the publisher. |
en |
dc.rights.uri |
https://researchspace.auckland.ac.nz/docs/uoa-docs/rights.htm |
en |
dc.source.uri |
https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php |
en |
dc.title |
Semiautomatic Structures |
en |
dc.type |
Technical Report |
en |
dc.subject.marsden |
Fields of Research |
en |
dc.rights.holder |
The author(s) |
en |
dc.rights.accessrights |
http://purl.org/eprint/accessRights/OpenAccess |
en |