loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
18th Annual IEEE Symposium on Logic in Computer Science (LICS'03)
On Automatic Partial Orders
Ottawa, Canada
June 22-June 25
ISBN: 0-7695-1884-2
Bakhadyr Khoussainov, University of Auckland, New Zealand
Sasha Rubin, University of Auckland, New Zealand
Frank Stephan, University of Heidelberg, Germany
We investigate partial orders that are computable, in a precise sense, by finite automata. Our emphasis is on trees and linear orders. We study the relationship between automatic linear orders and trees in terms of rank functions that are versions of Cantor-Bendixson rank. We prove that automatic linear orders and automatic trees have finite rank. As an application we provide a procedure for deciding the isomorphism problem for automatic ordinals. We also investigate the complexity and definability of infinite paths in automatic trees. In particular, we show that every infinite path in an automatic tree with countably many infinite paths is a regular language.
Citation:
Bakhadyr Khoussainov, Sasha Rubin, Frank Stephan, "On Automatic Partial Orders," lics, pp.168, 18th Annual IEEE Symposium on Logic in Computer Science (LICS'03), 2003
Usage of this product signifies your acceptance of the Terms of Use.