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
Journal of Computer and System Sciences
Volume 63, Issue 3, November 2001, Pages 384-393
 
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.1006/jcss.2001.1783    How to Cite or Link Using DOI (Opens New Window)
Copyright © 2001 Elsevier Science (USA). All rights reserved.

Regular Article

Tight Lower Bounds on the Size of Sweeping Automata

Hing Leung1

Department of Computer Science, New Mexico State University, Las Cruces, New Mexico, 88003, f1

Received 5 March 1999; 
revised 25 May 2001. 
Available online 26 March 2002.

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

A sweeping automaton is a two-way deterministic finite automaton which makes turns only at the endmarkers. We say that a sweeping automaton is degenerate if the automaton has no left-moving transitions. We show that for each positive integer n, there is a nondeterministic finite automaton An over a two-letter alphabet such that An has n states, whereas the smallest equivalent nondegenerate sweeping automaton has 2n states.

Author Keywords: deterministic finite automata; nondeterministic finite automata; two-way finite automata; sweeping automata; descriptional complexity


 
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.