Copyright © 2001 Elsevier Science (USA). All rights reserved.
Regular Article
Tight Lower Bounds on the Size of Sweeping Automata
Received 5 March 1999;
revised 25 May 2001.
Available online 26 March 2002.
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







E-mail Article
Add to my Quick Links

Cited By in Scopus (1)




