Please use this identifier to cite or link to this item: https://doi.org/10.1016/j.apal.2012.11.007
Title: Automata on ordinals and automaticity of linear orders
Authors: Schlicht, P.
Stephan, F. 
Keywords: Automatic structures
Linear orders
Issue Date: May-2013
Citation: Schlicht, P., Stephan, F. (2013-05). Automata on ordinals and automaticity of linear orders. Annals of Pure and Applied Logic 164 (5) : 523-527. ScholarBank@NUS Repository. https://doi.org/10.1016/j.apal.2012.11.007
Abstract: We investigate structures recognizable by finite state automata with an input tape of length a limit ordinal. At limits, the set of states which appear unboundedly often before the limit are mapped to a limit state. We describe a method for proving non-automaticity and apply this to determine the optimal bounds for the ranks of linear orders recognized by such automata. © 2012 Elsevier B.V..
Source Title: Annals of Pure and Applied Logic
URI: http://scholarbank.nus.edu.sg/handle/10635/102906
ISSN: 01680072
DOI: 10.1016/j.apal.2012.11.007
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

SCOPUSTM   
Citations

3
checked on Aug 13, 2018

WEB OF SCIENCETM
Citations

2
checked on Jul 4, 2018

Page view(s)

29
checked on Jul 13, 2018

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.