Please use this identifier to cite or link to this item: https://doi.org/10.1016/j.apal.2012.11.007
DC FieldValue
dc.titleAutomata on ordinals and automaticity of linear orders
dc.contributor.authorSchlicht, P.
dc.contributor.authorStephan, F.
dc.date.accessioned2014-10-28T02:31:07Z
dc.date.available2014-10-28T02:31:07Z
dc.date.issued2013-05
dc.identifier.citationSchlicht, 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
dc.identifier.issn01680072
dc.identifier.urihttp://scholarbank.nus.edu.sg/handle/10635/102906
dc.description.abstractWe 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..
dc.description.urihttp://libproxy1.nus.edu.sg/login?url=http://dx.doi.org/10.1016/j.apal.2012.11.007
dc.sourceScopus
dc.subjectAutomatic structures
dc.subjectLinear orders
dc.typeArticle
dc.contributor.departmentMATHEMATICS
dc.description.doi10.1016/j.apal.2012.11.007
dc.description.sourcetitleAnnals of Pure and Applied Logic
dc.description.volume164
dc.description.issue5
dc.description.page523-527
dc.description.codenAPALD
dc.identifier.isiut000316587600003
Appears in Collections:Staff Publications

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

Google ScholarTM

Check

Altmetric


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