ScienceDirect® Home Skip Main Navigation Links
You have guest access to ScienceDirect. Find out more.
 
Home
Browse
My Settings
Alerts
Help
 Quick Search
 Search tips (Opens new window)
    Clear all fields    
advertisementadvertisement
Theoretical Computer Science
Volume 270, Issues 1-2, 6 January 2002, Pages 797-809
 
Font Size: Decrease Font Size  Increase Font Size
 Abstract - selected
Purchase PDF (123 K)

 
 
 
Related Articles in ScienceDirect
View More Related Articles
 
View Record in Scopus
 
doi:10.1016/S0304-3975(01)00112-8    How to Cite or Link Using DOI (Opens New Window)
Copyright © 2002 Elsevier Science B.V. All rights reserved.

Constructible functions in cellular automata and their applications to hierarchy results*1

Chuzo IwamotoCorresponding Author Contact Information, E-mail The Corresponding Author, Tomonobu Hatsuyama, Kenichi Morita and Katsunobu Imai

Department of Industrial & Systems Engineering, Faculty of Engineering, Hiroshima University, 4-1 Kagami-Yama 1 chome, Higashi-Hiroshima, 739-8527 Japan

Received 14 October 1999;
revised 25 October 2000;
accepted 6 February 2001.
Communicated by K. Culik II.
Available online 14 December 2001.

Purchase the full-text article



References and further reading may be available for this article. To view references and further reading you must purchase this article.

Abstract

We investigate time-constructible functions in one-dimensional cellular automata (CA). It is shown that (i) if a function t(n) is computable by an O(t(n)−n)-time Turing machine, then t(n) is time constructible by CA and (ii) if two functions are time constructible by CA, then the sum, product, and exponential functions of them are time constructible by CA. As an application, it is shown that if t1(n) and t2(n) are time constructible functions such that limn→∞ t1(n)/t2(n) = 0 and t1(n)greater-or-equal, slantedn, then there is a language which can be recognized by a CA in t2(n) time but not by any CA in t1(n) time.

Author Keywords: Cellular automata; Time constructibility; Complexity hierarchy


 
Home
Browse
My Settings
Alerts
Help
Elsevier.com (Opens new window)
About ScienceDirect  |  Contact Us  |  Information for Advertisers  |  Terms & Conditions  |  Privacy Policy
Copyright © 2008 Elsevier B.V. All rights reserved. ScienceDirect® is a registered trademark of Elsevier B.V.